Bob is green. Bob is red. Bob is rough. Charlie is cold. Charlie is red. Charlie is young. Harry is green. Harry is red. Harry is smart. Harry is young. If something is red and young then it is blue. Rough things are cold. All blue things are cold. All blue, green things are cold. Cold things are green. Blue, cold things are young.
Charlie is young.
@0: Bob is green.[(triple1 OR ((((triple3) -> rule2)) -> rule5))] Bob is red.[(triple2)] Bob is rough.[(triple3)] Charlie is cold.[(triple4 OR ((((triple5 triple6) -> rule1)) -> rule3))] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Harry is green.[(triple7 OR ((((((triple8 triple10) -> rule1)) -> rule3)) -> rule5))] Harry is red.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Bob is cold.[(((triple3) -> rule2))] Charlie is blue.[(((triple5 triple6) -> rule1))] Charlie is green.[(((triple4) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule3)) -> rule5))] Harry is blue.[(((triple8 triple10) -> rule1))] @2: Harry is cold.[(((((triple8 triple10) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule1) triple7) -> rule4))]