Fiona is green. Fiona is rough. Fiona is young. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is young. Green, cold people are round. All green people are cold. All cold people are rough.
Fiona is not cold.
@0: Fiona is green.[(triple1)] Fiona is rough.[(triple2 OR ((((triple1) -> rule2)) -> rule3))] Fiona is young.[(triple3)] Harry is big.[(triple4)] Harry is cold.[(triple5 OR ((triple6) -> rule2))] Harry is green.[(triple6)] Harry is quiet.[(triple7)] Harry is rough.[(triple8 OR ((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Harry is round.[(triple9 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Harry is young.[(triple10)] @1: Fiona is cold.[(((triple1) -> rule2))] @2: Fiona is round.[(((triple1 ((triple1) -> rule2)) -> rule1))]