Charlie is cold. Charlie is smart. Dave is smart. Fiona is green. Fiona is smart. Fiona is young. Harry is red. If Charlie is round and Charlie is big then Charlie is smart. If something is smart and not red then it is round. All red, young things are round. Big things are young. Red things are big. If something is red then it is smart. All round, red things are cold. All round, green things are cold. If something is red and cold then it is green.
Dave is not green.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Dave is smart.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is red.[(triple7)] @1: Harry is big.[(((triple7) -> rule5))] Harry is smart.[(((triple7) -> rule6))] @2: Harry is young.[(((((triple7) -> rule5)) -> rule4))] @3: Harry is round.[(((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule3))] @4: Harry is cold.[(((((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule3) triple7) -> rule7))] @5: Harry is green.[(((triple7 ((((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule3) triple7) -> rule7)) -> rule9))]