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