Fiona is furry. Fiona is green. Fiona is quiet. Fiona is white. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is white. Harry is green. Harry is rough. Harry is round. If something is nice then it is rough. If Fiona is round and Fiona is furry then Fiona is rough. If Fiona is round and Fiona is white then Fiona is quiet. All nice, white things are green. If something is nice and round then it is white. White, rough things are round.
Harry is quiet.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8 OR ((triple9 ((triple6) -> rule1)) -> rule6))] Gary is white.[(triple9 OR ((triple6 triple8) -> rule5))] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] @1: Gary is green.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple6 triple8) -> rule5)) -> rule4))] Gary is rough.[(((triple6) -> rule1))]