Bob is big. Bob is cold. Bob is red. Gary is white. Gary is young. Harry is cold. Harry is nice. All cold people are white. If Harry is red then Harry is young. If someone is cold then they are big. If someone is white and green then they are young. Green, red people are nice. If someone is white then they are red.
Bob is not nice.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3))] Bob is cold.[(triple2)] Bob is red.[(triple3 OR ((((triple2) -> rule1)) -> rule6))] Gary is white.[(triple4)] Gary is young.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Bob is white.[(((triple2) -> rule1))] Gary is red.[(((triple4) -> rule6))] Harry is big.[(((triple6) -> rule3))] Harry is white.[(((triple6) -> rule1))] @2: Harry is red.[(((((triple6) -> rule1)) -> rule6))] @3: Harry is young.[(((((((triple6) -> rule1)) -> rule6)) -> rule2))]