Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is white. Bob is young. Harry is cold. Harry is furry. Harry is nice. Harry is red. All cold people are nice. If Harry is white then Harry is red. If someone is young and cold then they are white. If someone is white then they are rough. Red people are white. All rough, red people are young.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule1))] Bob is red.[(triple4)] Bob is white.[(triple5 OR ((triple4) -> rule5) OR ((triple6 triple1) -> rule3))] Bob is young.[(triple6 OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((((triple4) -> rule5)) -> rule4) triple4) -> rule6))] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9 OR ((triple7) -> rule1))] Harry is red.[(triple10)] @1: Bob is rough.[(((triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((triple6 triple1) -> rule3)) -> rule4))] Harry is white.[(((triple10) -> rule5))] @2: Harry is rough.[(((((triple10) -> rule5)) -> rule4))] @3: Harry is young.[(((((((triple10) -> rule5)) -> rule4) triple10) -> rule6))]