Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Fiona is nice. Fiona is rough. Gary is quiet. Gary is round. Harry is smart. Harry is young. If Fiona is nice then Fiona is quiet. If something is smart and round then it is quiet. If something is smart and quiet then it is rough.
Fiona is smart.
@0: Charlie is nice.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Charlie is quiet.[(((triple3 triple2) -> rule2))] Fiona is quiet.[(((triple5) -> rule1))] @2: Charlie is rough.[(((triple3 ((triple3 triple2) -> rule2)) -> rule3))]