Charlie is cold. Charlie is green. Charlie is rough. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Gary is round. Harry is cold. Harry is red. Harry is smart. Harry is young. If someone is smart then they are cold. All young people are round. If Harry is smart then Harry is cold. If someone is cold and round then they are rough. Rough, red people are green. Green, cold people are smart.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5 OR ((((triple7) -> rule1) triple6) -> rule4))] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is round.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule1) OR ((triple11) -> rule3))] Harry is red.[(triple10)] Harry is smart.[(triple11 OR ((((((triple9 ((triple12) -> rule2)) -> rule4) triple10) -> rule5) triple9) -> rule6))] Harry is young.[(triple12)] @1: Charlie is smart.[(((triple2 triple1) -> rule6))] Fiona is cold.[(((triple7) -> rule1))] Fiona is green.[(((triple5 triple4) -> rule5) OR ((((((triple7) -> rule1) triple6) -> rule4) triple4) -> rule5))] Harry is round.[(((triple12) -> rule2))] @2: Harry is rough.[(((triple9 ((triple12) -> rule2)) -> rule4) OR ((((triple11) -> rule1) ((triple12) -> rule2)) -> rule4) OR ((((triple11) -> rule3) ((triple12) -> rule2)) -> rule4))] @3: Harry is green.[(((((triple9 ((triple12) -> rule2)) -> rule4) triple10) -> rule5) OR ((((((triple11) -> rule1) ((triple12) -> rule2)) -> rule4) triple10) -> rule5) OR ((((((triple11) -> rule3) ((triple12) -> rule2)) -> rule4) triple10) -> rule5))]