Anne is big. Anne is cold. Anne is green. Anne is kind. Bob is not big. Bob is not cold. Bob is green. Bob is kind. Charlie is kind. Harry is not cold. Harry is green. Harry is kind. All cold, green things are kind. All nice things are young. All big things are young. All nice, green things are not cold. All green, young things are cold. If Charlie is young then Charlie is cold. If something is young and rough then it is big. All kind things are green.
Bob is not kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3 ((triple1) -> rule3)) -> rule5) OR ((((triple4) -> rule8) ((triple1) -> rule3)) -> rule5))] Anne is green.[(triple3 OR ((triple4) -> rule8))] Anne is kind.[(triple4 OR ((triple2 triple3) -> rule1) OR ((((triple3 ((triple1) -> rule3)) -> rule5) triple3) -> rule1))] Bob is green.[(triple7 OR ((triple8) -> rule8))] Bob is kind.[(triple8)] Bob is not big.[(triple5)] Bob is not cold.[(triple6)] Charlie is kind.[(triple9)] Harry is green.[(triple11 OR ((triple12) -> rule8))] Harry is kind.[(triple12)] Harry is not cold.[(triple10)] @1: Anne is young.[(((triple1) -> rule3))] Charlie is green.[(((triple9) -> rule8))]