Added Hypothetical Syllogism, added a function to Fact that returns a String that is parsable by getFactFromString(), and added a few CSS classes for prettier formatting.