Anne is big. Anne is furry. Anne is nice. Anne is red. Erin is big. Erin is furry. Erin is nice. Erin is rough. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is nice. Harry is quiet. Harry is red. If Harry is big and Harry is quiet then Harry is kind. All big things are quiet. If something is nice and furry then it is big. All kind, quiet things are red. Furry, nice things are kind. If something is rough then it is big. Nice, furry things are red. Quiet things are nice.
Erin is rough.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((((triple1) -> rule2)) -> rule8))] Anne is red.[(triple4 OR ((triple3 triple2) -> rule7) OR ((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule4) OR ((((((triple1) -> rule2)) -> rule8) triple2) -> rule7) OR ((((triple2 triple3) -> rule5) ((((triple3 triple2) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((((triple1) -> rule2)) -> rule8)) -> rule5) ((triple1) -> rule2)) -> rule4) OR ((((triple2 ((((triple1) -> rule2)) -> rule8)) -> rule5) ((((triple3 triple2) -> rule3)) -> rule2)) -> rule4))] Erin is big.[(triple5 OR ((triple8) -> rule6) OR ((triple7 triple6) -> rule3))] Erin is furry.[(triple6)] Erin is nice.[(triple7 OR ((((triple5) -> rule2)) -> rule8) OR ((((((triple8) -> rule6)) -> rule2)) -> rule8))] Erin is rough.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule8) OR ((((((triple12) -> rule6)) -> rule2)) -> rule8))] Gary is quiet.[(triple10 OR ((((triple12) -> rule6)) -> rule2))] Gary is red.[(triple11)] Gary is rough.[(triple12)] Harry is nice.[(triple13 OR ((triple14) -> rule8))] Harry is quiet.[(triple14)] Harry is red.[(triple15)] @1: Anne is kind.[(((triple2 triple3) -> rule5) OR ((triple2 ((((triple1) -> rule2)) -> rule8)) -> rule5))] Anne is quiet.[(((triple1) -> rule2) OR ((((triple3 triple2) -> rule3)) -> rule2))] Erin is kind.[(((triple6 triple7) -> rule5) OR ((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule5) OR ((triple6 ((((((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule5))] Erin is quiet.[(((triple5) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((triple7 triple6) -> rule3)) -> rule2))] Erin is red.[(((triple7 triple6) -> rule7) OR ((((triple6 triple7) -> rule5) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule2)) -> rule8) triple6) -> rule7) OR ((((triple6 triple7) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule4) OR ((((triple6 triple7) -> rule5) ((((triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule6)) -> rule2)) -> rule8) triple6) -> rule7) OR ((((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule4) OR ((((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule4) OR ((((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule5) ((((triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((triple6 ((((((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule4) OR ((((triple6 ((((((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule4) OR ((((triple6 ((((((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule5) ((((triple7 triple6) -> rule3)) -> rule2)) -> rule4))] Gary is big.[(((triple12) -> rule6))]