Bob is cold. Bob is kind. Harry is green. Harry is kind. Harry is round. Harry is white. Harry is young. Green things are white. If Bob is not kind then Bob is red. All kind things are green. If Harry is green then Harry is round. If something is round and not white then it is cold. If something is cold then it is young. All kind, white things are red. If something is green and not young then it is not red.
Harry is red.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Harry is green.[(triple3 OR ((triple4) -> rule3))] Harry is kind.[(triple4)] Harry is round.[(triple5 OR ((triple3) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] Harry is white.[(triple6 OR ((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Harry is young.[(triple7)] @1: Bob is green.[(((triple2) -> rule3))] Bob is young.[(((triple1) -> rule6))] Harry is red.[(((triple4 triple6) -> rule7) OR ((triple4 ((triple3) -> rule1)) -> rule7) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule7))] @2: Bob is white.[(((((triple2) -> rule3)) -> rule1))] @3: Bob is red.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule7))]