Charlie is nice. Charlie is young. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. All young, blue things are nice. All nice, green things are cold. Young things are cold. If Charlie is white then Charlie is cold. All young things are nice. If something is blue and red then it is young.
Charlie is white.
@0: Charlie is nice.[(triple1 OR ((triple2) -> rule5))] Charlie is young.[(triple2)] Harry is blue.[(triple3)] Harry is cold.[(triple4 OR ((triple6 triple5) -> rule2) OR ((((triple3 triple7) -> rule6)) -> rule3) OR ((((((triple3 triple7) -> rule6)) -> rule5) triple5) -> rule2) OR ((((((triple3 triple7) -> rule6) triple3) -> rule1) triple5) -> rule2))] Harry is green.[(triple5)] Harry is nice.[(triple6 OR ((((triple3 triple7) -> rule6)) -> rule5) OR ((((triple3 triple7) -> rule6) triple3) -> rule1))] Harry is red.[(triple7)] @1: Charlie is cold.[(((triple2) -> rule3))] Harry is young.[(((triple3 triple7) -> rule6))]