Bob is round. Gary is not cold. Harry is white. Kind people are round. Kind people are round. All blue people are smart. If someone is kind and white then they are smart. All kind people are blue. If Harry is white then Harry is rough. Rough people are kind. If someone is white and not kind then they are cold.
Bob is rough.
@0: Bob is round.[(triple1)] Gary is not cold.[(triple2)] Harry is white.[(triple3)] @1: Harry is rough.[(((triple3) -> rule6))] @2: Harry is kind.[(((((triple3) -> rule6)) -> rule7))] @3: Harry is blue.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))] Harry is round.[(((((((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule6)) -> rule7)) -> rule2))] Harry is smart.[(((((((triple3) -> rule6)) -> rule7) triple3) -> rule4) OR ((((((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule3))]