Bob is kind. Harry is big. Harry is blue. Round people are green. Blue, kind people are big. If someone is blue and big then they are kind. All red people are kind. If Harry is kind and Harry is green then Harry is cold. All red, kind people are green. If Harry is green and Harry is cold then Harry is blue. All blue, big people are round.
Bob is not big.
@0: Bob is kind.[(triple1)] Harry is big.[(triple2)] Harry is blue.[(triple3)] @1: Harry is kind.[(((triple3 triple2) -> rule3))] Harry is round.[(((triple3 triple2) -> rule8))] @2: Harry is green.[(((((triple3 triple2) -> rule8)) -> rule1))] @3: Harry is cold.[(((((triple3 triple2) -> rule3) ((((triple3 triple2) -> rule8)) -> rule1)) -> rule5))]