Charlie is nice. Fiona is nice. Gary is nice. Harry is round. All blue things are smart. If something is blue and round then it is rough. All round things are rough. If Charlie is round then Charlie is quiet. If Fiona is blue and Fiona is nice then Fiona is smart. If something is smart and blue then it is nice. If something is round then it is smart. If Harry is blue and Harry is furry then Harry is nice.
Charlie is furry.
@0: Charlie is nice.[(triple1)] Fiona is nice.[(triple2)] Gary is nice.[(triple3)] Harry is round.[(triple4)] @1: Harry is rough.[(((triple4) -> rule3))] Harry is smart.[(((triple4) -> rule7))]