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