Fiona is smart. Gary is blue. Harry is big. Big things are rough. If Fiona is smart then Fiona is not young. All blue things are young. Rough things are furry. If something is blue and not big then it is not smart. Rough, smart things are blue. Young, cold things are blue. If Gary is cold then Gary is rough.
Fiona is furry.
@0: Fiona is smart.[(triple1)] Gary is blue.[(triple2)] Harry is big.[(triple3)] @1: Fiona is not young.[(((triple1) -> rule2))] Gary is young.[(((triple2) -> rule3))] Harry is rough.[(((triple3) -> rule1))] @2: Harry is furry.[(((((triple3) -> rule1)) -> rule4))]