Charlie is blue. Charlie is furry. Charlie is young. Erin is not big. Erin is not blue. Erin is furry. Erin is red. Erin is smart. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is white. Gary is young. All big, young things are white. If something is young and white then it is furry. All big, white things are furry. If something is young then it is blue. If Erin is white then Erin is big. All red things are smart. If something is white and smart then it is red. If Erin is red and Erin is white then Erin is young.
Charlie is big.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule4))] Charlie is furry.[(triple2)] Charlie is young.[(triple3)] Erin is furry.[(triple6)] Erin is not big.[(triple4)] Erin is not blue.[(triple5)] Erin is red.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule6))] Gary is big.[(triple9)] Gary is blue.[(triple10 OR ((triple15) -> rule4))] Gary is furry.[(triple11 OR ((triple15 triple14) -> rule2) OR ((triple9 triple14) -> rule3) OR ((triple15 ((triple9 triple15) -> rule1)) -> rule2) OR ((triple9 ((triple9 triple15) -> rule1)) -> rule3))] Gary is red.[(triple12 OR ((triple14 triple13) -> rule7) OR ((((triple9 triple15) -> rule1) triple13) -> rule7))] Gary is smart.[(triple13 OR ((triple12) -> rule6))] Gary is white.[(triple14 OR ((triple9 triple15) -> rule1))] Gary is young.[(triple15)]