Dave is cold. Harry is quiet. Harry is young. If Dave is cold then Dave is nice. All kind things are big. All young things are cold. If something is kind then it is nice. All nice, big things are kind. All cold, young things are kind. All smart, big things are young. If Dave is nice and Dave is cold then Dave is young.
Dave is quiet.
@0: Dave is cold.[(triple1)] Harry is quiet.[(triple2)] Harry is young.[(triple3)] @1: Dave is nice.[(((triple1) -> rule1))] Harry is cold.[(((triple3) -> rule3))] @2: Dave is young.[(((((triple1) -> rule1) triple1) -> rule8))] Harry is kind.[(((((triple3) -> rule3) triple3) -> rule6))] @3: Dave is kind.[(((triple1 ((((triple1) -> rule1) triple1) -> rule8)) -> rule6))] Harry is big.[(((((((triple3) -> rule3) triple3) -> rule6)) -> rule2))] Harry is nice.[(((((((triple3) -> rule3) triple3) -> rule6)) -> rule4))] @4: Dave is big.[(((((triple1 ((((triple1) -> rule1) triple1) -> rule8)) -> rule6)) -> rule2))]