Fiona is furry. Fiona is quiet. Fiona is rough. Gary is blue. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is smart. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If something is red then it is quiet. If something is quiet and kind then it is furry.
Fiona is red.
@0: Fiona is furry.[(triple1)] Fiona is quiet.[(triple2)] Fiona is rough.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5 OR ((((triple7) -> rule1) triple6) -> rule2))] Gary is kind.[(triple6)] Gary is red.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11 OR ((triple13 triple12) -> rule2) OR ((((triple14) -> rule1) triple12) -> rule2))] Harry is kind.[(triple12)] Harry is quiet.[(triple13 OR ((triple14) -> rule1))] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Gary is quiet.[(((triple7) -> rule1))]