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