Fiona is cold. Fiona is young. Gary is blue. Gary is cold. Gary is green. Gary is rough. Harry is furry. Harry is green. Harry is rough. Harry is young. If something is cold and green then it is rough. If something is young then it is furry. If something is green and cold then it is rough. All furry, green things are rough. If Harry is rough then Harry is young. All green things are big. If something is green then it is blue. All rough, blue things are cold.
Fiona is furry.
@0: Fiona is cold.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3 OR ((triple5) -> rule7))] Gary is cold.[(triple4 OR ((triple6 triple3) -> rule8) OR ((triple6 ((triple5) -> rule7)) -> rule8))] Gary is green.[(triple5)] Gary is rough.[(triple6 OR ((triple4 triple5) -> rule1) OR ((triple5 triple4) -> rule3))] Harry is furry.[(triple7 OR ((triple10) -> rule2) OR ((((triple9) -> rule5)) -> rule2))] Harry is green.[(triple8)] Harry is rough.[(triple9 OR ((triple7 triple8) -> rule4) OR ((((triple10) -> rule2) triple8) -> rule4))] Harry is young.[(triple10 OR ((triple9) -> rule5) OR ((((triple7 triple8) -> rule4)) -> rule5))] @1: Fiona is furry.[(((triple2) -> rule2))] Gary is big.[(((triple5) -> rule6))] Harry is big.[(((triple8) -> rule6))] Harry is blue.[(((triple8) -> rule7))] @2: Harry is cold.[(((triple9 ((triple8) -> rule7)) -> rule8) OR ((((triple7 triple8) -> rule4) ((triple8) -> rule7)) -> rule8) OR ((((((triple10) -> rule2) triple8) -> rule4) ((triple8) -> rule7)) -> rule8))]