Charlie is big. Dave is smart. Fiona is kind. Harry is kind. If someone is young then they are cold. If someone is big and not quiet then they are smart. All kind, young people are smart. If someone is cold and quiet then they are kind. Smart people are kind. If someone is green then they are young. Quiet people are green. If someone is kind then they are green.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Dave is smart.[(triple2)] Fiona is kind.[(triple3)] Harry is kind.[(triple4)] @1: Dave is kind.[(((triple2) -> rule5))] Fiona is green.[(((triple3) -> rule8))] Harry is green.[(((triple4) -> rule8))] @2: Dave is green.[(((((triple2) -> rule5)) -> rule8))] Fiona is young.[(((((triple3) -> rule8)) -> rule6))] Harry is young.[(((((triple4) -> rule8)) -> rule6))] @3: Dave is young.[(((((((triple2) -> rule5)) -> rule8)) -> rule6))] Fiona is cold.[(((((((triple3) -> rule8)) -> rule6)) -> rule1))] Fiona is smart.[(((triple3 ((((triple3) -> rule8)) -> rule6)) -> rule3))] Harry is cold.[(((((((triple4) -> rule8)) -> rule6)) -> rule1))] Harry is smart.[(((triple4 ((((triple4) -> rule8)) -> rule6)) -> rule3))] @4: Dave is cold.[(((((((((triple2) -> rule5)) -> rule8)) -> rule6)) -> rule1))]