Bob is green. Bob is kind. Bob is red. Bob is smart. Erin is blue. Erin is smart. Harry is blue. Harry is red. Harry is rough. Harry is smart. All red things are nice. All green things are red. If something is blue then it is rough. If something is smart and rough then it is green. If something is smart then it is red. If Harry is kind and Harry is rough then Harry is nice. If Harry is nice and Harry is green then Harry is kind. If something is green then it is nice.
Erin is kind.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule5))] Bob is smart.[(triple4)] Erin is blue.[(triple5)] Erin is smart.[(triple6)] Harry is blue.[(triple7)] Harry is red.[(triple8 OR ((triple10) -> rule5) OR ((((triple10 triple9) -> rule4)) -> rule2) OR ((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule2))] Harry is rough.[(triple9 OR ((triple7) -> rule3))] Harry is smart.[(triple10)] @1: Bob is nice.[(((triple1) -> rule8) OR ((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Erin is red.[(((triple6) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule4)) -> rule2))] Erin is rough.[(((triple5) -> rule3))] Harry is green.[(((triple10 triple9) -> rule4) OR ((triple10 ((triple7) -> rule3)) -> rule4))] Harry is nice.[(((triple8) -> rule1) OR ((((triple10) -> rule5)) -> rule1) OR ((((triple10 triple9) -> rule4)) -> rule8) OR ((((((triple10 triple9) -> rule4)) -> rule2)) -> rule1) OR ((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule1))] @2: Erin is green.[(((triple6 ((triple5) -> rule3)) -> rule4))] Erin is nice.[(((((triple6) -> rule5)) -> rule1) OR ((((triple6 ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6 ((triple5) -> rule3)) -> rule4)) -> rule2)) -> rule1))] Harry is kind.[(((((triple8) -> rule1) ((triple10 triple9) -> rule4)) -> rule7) OR ((((triple8) -> rule1) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple10) -> rule5)) -> rule1) ((triple10 triple9) -> rule4)) -> rule7) OR ((((((triple10 triple9) -> rule4)) -> rule8) ((triple10 triple9) -> rule4)) -> rule7) OR ((((((triple10) -> rule5)) -> rule1) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple10 triple9) -> rule4)) -> rule8) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple10 triple9) -> rule4)) -> rule2)) -> rule1) ((triple10 triple9) -> rule4)) -> rule7) OR ((((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule8) ((triple10 triple9) -> rule4)) -> rule7) OR ((((((((triple10 triple9) -> rule4)) -> rule2)) -> rule1) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule8) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple10 triple9) -> rule4)) -> rule7) OR ((((((((triple10 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple10 ((triple7) -> rule3)) -> rule4)) -> rule7))]