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