Anne is big. Fiona is red. Gary is white. Harry is big. Harry is red. Harry is rough. Harry is white. If Harry is furry then Harry is white. If Anne is white and Anne is furry then Anne is green. If something is smart then it is white. Rough things are smart. If something is red then it is smart. All rough things are furry. Smart things are furry. If Anne is white and Anne is rough then Anne is big.
Fiona is green.
@0: Anne is big.[(triple1)] Fiona is red.[(triple2)] Gary is white.[(triple3)] Harry is big.[(triple4)] Harry is red.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7 OR ((((triple5) -> rule5)) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule6)) -> rule1) OR ((((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((((((triple6) -> rule4)) -> rule7)) -> rule1))] @1: Fiona is smart.[(((triple2) -> rule5))] Harry is furry.[(((triple6) -> rule6) OR ((((triple5) -> rule5)) -> rule7) OR ((((triple6) -> rule4)) -> rule7))] Harry is smart.[(((triple5) -> rule5) OR ((triple6) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule5)) -> rule7))] Fiona is white.[(((((triple2) -> rule5)) -> rule3))]