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