Anne is big. Anne is green. Anne is red. Bob is blue. Bob is green. Harry is blue. Harry is kind. All big, green people are nice. If Harry is big then Harry is kind. If Harry is green and Harry is blue then Harry is nice. If someone is green then they are blue. If someone is rough then they are red. Kind, red people are big. Big people are nice. All green, blue people are rough.
Bob is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule5))] Bob is blue.[(triple4 OR ((triple5) -> rule4))] Bob is green.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7)] @1: Anne is blue.[(((triple2) -> rule4))] Anne is nice.[(((triple1) -> rule7) OR ((triple1 triple2) -> rule1))] Bob is rough.[(((triple5 triple4) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule8))] @2: Anne is rough.[(((triple2 ((triple2) -> rule4)) -> rule8))] Bob is red.[(((((triple5 triple4) -> rule8)) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule8)) -> rule5))]