Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is white. Harry is big. Harry is quiet. Harry is red. Harry is white. Nice people are rough. If someone is nice then they are green. If Harry is nice and Harry is rough then Harry is green. White, big people are nice. All quiet people are rough. Nice people are rough. All red, big people are nice. If Erin is green then Erin is big.
Harry is white.
@0: Erin is big.[(triple1 OR ((triple2) -> rule8) OR ((((triple3) -> rule2)) -> rule8))] Erin is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple5 triple1) -> rule7)) -> rule2) OR ((((triple6 triple1) -> rule4)) -> rule2))] Erin is nice.[(triple3 OR ((triple5 triple1) -> rule7) OR ((triple6 triple1) -> rule4) OR ((triple5 ((triple2) -> rule8)) -> rule7) OR ((triple6 ((triple2) -> rule8)) -> rule4))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Harry is big.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Erin is rough.[(((triple3) -> rule1) OR ((triple3) -> rule6) OR ((triple4) -> rule5) OR ((((triple5 triple1) -> rule7)) -> rule1) OR ((((triple5 triple1) -> rule7)) -> rule6) OR ((((triple6 triple1) -> rule4)) -> rule1) OR ((((triple6 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7)) -> rule1) OR ((((triple5 ((triple2) -> rule8)) -> rule7)) -> rule6) OR ((((triple6 ((triple2) -> rule8)) -> rule4)) -> rule1) OR ((((triple6 ((triple2) -> rule8)) -> rule4)) -> rule6))] Harry is nice.[(((triple10 triple7) -> rule4) OR ((triple9 triple7) -> rule7))] Harry is rough.[(((triple8) -> rule5) OR ((((triple10 triple7) -> rule4)) -> rule1) OR ((((triple10 triple7) -> rule4)) -> rule6) OR ((((triple9 triple7) -> rule7)) -> rule1) OR ((((triple9 triple7) -> rule7)) -> rule6))] @2: Harry is green.[(((((triple10 triple7) -> rule4)) -> rule2) OR ((((triple9 triple7) -> rule7)) -> rule2) OR ((((triple10 triple7) -> rule4) ((triple8) -> rule5)) -> rule3) OR ((((triple9 triple7) -> rule7) ((triple8) -> rule5)) -> rule3) OR ((((triple10 triple7) -> rule4) ((((triple10 triple7) -> rule4)) -> rule1)) -> rule3) OR ((((triple10 triple7) -> rule4) ((((triple10 triple7) -> rule4)) -> rule6)) -> rule3) OR ((((triple10 triple7) -> rule4) ((((triple9 triple7) -> rule7)) -> rule1)) -> rule3) OR ((((triple10 triple7) -> rule4) ((((triple9 triple7) -> rule7)) -> rule6)) -> rule3) OR ((((triple9 triple7) -> rule7) ((((triple10 triple7) -> rule4)) -> rule1)) -> rule3) OR ((((triple9 triple7) -> rule7) ((((triple10 triple7) -> rule4)) -> rule6)) -> rule3) OR ((((triple9 triple7) -> rule7) ((((triple9 triple7) -> rule7)) -> rule1)) -> rule3) OR ((((triple9 triple7) -> rule7) ((((triple9 triple7) -> rule7)) -> rule6)) -> rule3))]