Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is smart. Harry is white. If Harry is green then Harry is white. If someone is white and rough then they are blue. If someone is rough and big then they are green. If Harry is white then Harry is rough. All white, quiet people are big. Quiet, green people are big. All white people are big. If someone is quiet and green then they are rough.
Harry is not rough.
@0: Gary is green.[(triple1 OR ((triple3 ((triple5) -> rule7)) -> rule3) OR ((triple3 ((triple5 triple2) -> rule5)) -> rule3))] Gary is quiet.[(triple2)] Gary is rough.[(triple3 OR ((triple2 triple1) -> rule8))] Gary is smart.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6 OR ((triple12) -> rule7) OR ((triple12 triple9) -> rule5) OR ((triple9 triple8) -> rule6) OR ((((triple8) -> rule1)) -> rule7) OR ((((triple8) -> rule1) triple9) -> rule5))] Harry is blue.[(triple7 OR ((triple12 triple10) -> rule2) OR ((triple12 ((triple12) -> rule4)) -> rule2) OR ((triple12 ((triple9 triple8) -> rule8)) -> rule2) OR ((((triple8) -> rule1) triple10) -> rule2) OR ((((triple8) -> rule1) ((triple12) -> rule4)) -> rule2) OR ((((triple8) -> rule1) ((triple9 triple8) -> rule8)) -> rule2) OR ((triple12 ((((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((((triple10 triple6) -> rule3)) -> rule1) triple10) -> rule2) OR ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((((triple10 triple6) -> rule3)) -> rule1) ((triple12) -> rule4)) -> rule2) OR ((((((triple10 triple6) -> rule3)) -> rule1) ((triple9 triple8) -> rule8)) -> rule2) OR ((((((triple10 triple6) -> rule3)) -> rule1) ((((triple8) -> rule1)) -> rule4)) -> rule2))] Harry is green.[(triple8 OR ((triple10 triple6) -> rule3) OR ((triple10 ((triple12) -> rule7)) -> rule3) OR ((triple10 ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule4) triple6) -> rule3) OR ((((triple12) -> rule4) ((triple12) -> rule7)) -> rule3) OR ((((triple12) -> rule4) ((triple12 triple9) -> rule5)) -> rule3))] Harry is quiet.[(triple9)] Harry is rough.[(triple10 OR ((triple12) -> rule4) OR ((triple9 triple8) -> rule8) OR ((((triple8) -> rule1)) -> rule4))] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple8) -> rule1) OR ((((triple10 triple6) -> rule3)) -> rule1))] @1: Gary is big.[(((triple5) -> rule7) OR ((triple2 triple1) -> rule6) OR ((triple5 triple2) -> rule5))] Gary is blue.[(((triple5 triple3) -> rule2) OR ((triple5 ((triple2 triple1) -> rule8)) -> rule2))]