Dave is smart. Fiona is red. Fiona is rough. Gary is big. Gary is smart. Harry is furry. Harry is green. If Harry is green and Harry is smart then Harry is rough. Furry people are rough. Smart, big people are quiet. If Fiona is quiet and Fiona is rough then Fiona is smart. If Dave is rough then Dave is quiet. If someone is furry then they are rough.
Fiona is rough.
@0: Dave is smart.[(triple1)] Fiona is red.[(triple2)] Fiona is rough.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7)] @1: Gary is quiet.[(((triple5 triple4) -> rule3))] Harry is rough.[(((triple6) -> rule2) OR ((triple6) -> rule6))]