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