Anne is rough. Bob is furry. Bob is rough. Bob is white. Dave is big. Dave is furry. Dave is rough. Dave is smart. Dave is white. Erin is furry. Erin is round. Erin is white. Round people are rough. If someone is furry and blue then they are rough. Furry people are blue. Furry, big people are blue. Furry people are blue. All blue people are white. Blue people are furry. Big people are round.
Anne is not round.
@0: Anne is rough.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3 OR ((triple2 ((triple2) -> rule3)) -> rule2) OR ((triple2 ((triple2) -> rule5)) -> rule2))] Bob is white.[(triple4 OR ((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is rough.[(triple7 OR ((((triple5) -> rule8)) -> rule1) OR ((triple6 ((triple6) -> rule3)) -> rule2) OR ((triple6 ((triple6) -> rule5)) -> rule2) OR ((triple6 ((triple6 triple5) -> rule4)) -> rule2))] Dave is smart.[(triple8)] Dave is white.[(triple9 OR ((((triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule5)) -> rule6) OR ((((triple6 triple5) -> rule4)) -> rule6))] Erin is furry.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12 OR ((((triple10) -> rule3)) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] @1: Bob is blue.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Dave is blue.[(((triple6) -> rule3) OR ((triple6) -> rule5) OR ((triple6 triple5) -> rule4))] Dave is round.[(((triple5) -> rule8))] Erin is blue.[(((triple10) -> rule3) OR ((triple10) -> rule5))] Erin is rough.[(((triple11) -> rule1) OR ((triple10 ((triple10) -> rule3)) -> rule2) OR ((triple10 ((triple10) -> rule5)) -> rule2))]