Bob is kind. Bob is white. Gary is kind. If something is kind then it is white. If something is white and red then it is smart. Kind, white things are red.
Bob is not cold.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2 OR ((triple1) -> rule1))] Gary is kind.[(triple3)] @1: Bob is red.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule1)) -> rule3))] Gary is white.[(((triple3) -> rule1))] @2: Bob is smart.[(((triple2 ((triple1 triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((triple1 triple2) -> rule3)) -> rule2) OR ((triple2 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))] Gary is red.[(((triple3 ((triple3) -> rule1)) -> rule3))] @3: Gary is smart.[(((((triple3) -> rule1) ((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))]