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