Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is round. Fiona is young. Harry is blue. Harry is quiet. Harry is young. If Harry is young then Harry is round. If someone is young and round then they are smart. All blue, white people are smart.
Fiona is young.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5 OR ((triple6 triple4) -> rule2))] Charlie is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is round.[(triple8)] Fiona is young.[(triple9)] Harry is blue.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Fiona is smart.[(((triple9 triple8) -> rule2))] Harry is round.[(((triple12) -> rule1))] @2: Harry is smart.[(((triple12 ((triple12) -> rule1)) -> rule2))]