Anne is big. Anne is furry. Anne is kind. Anne is red. Anne is round. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is rough. Erin is rough. If Bob is blue and Bob is red then Bob is furry. If someone is red then they are round. Rough, red people are kind. If someone is kind then they are round. All rough people are furry. All furry people are red.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule6))] Anne is round.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Bob is big.[(triple6)] Bob is blue.[(triple7)] Bob is furry.[(triple8 OR ((triple11) -> rule5) OR ((triple7 triple10) -> rule1))] Bob is kind.[(triple9 OR ((triple11 triple10) -> rule3) OR ((triple11 ((triple8) -> rule6)) -> rule3) OR ((triple11 ((((triple11) -> rule5)) -> rule6)) -> rule3))] Bob is red.[(triple10 OR ((triple8) -> rule6) OR ((((triple11) -> rule5)) -> rule6))] Bob is rough.[(triple11)] Erin is rough.[(triple12)] @1: Bob is round.[(((triple10) -> rule2) OR ((triple9) -> rule4) OR ((((triple8) -> rule6)) -> rule2) OR ((((triple11 triple10) -> rule3)) -> rule4) OR ((((((triple11) -> rule5)) -> rule6)) -> rule2) OR ((((triple11 ((triple8) -> rule6)) -> rule3)) -> rule4) OR ((((triple11 ((((triple11) -> rule5)) -> rule6)) -> rule3)) -> rule4))] Erin is furry.[(((triple12) -> rule5))] @2: Erin is red.[(((((triple12) -> rule5)) -> rule6))] @3: Erin is kind.[(((triple12 ((((triple12) -> rule5)) -> rule6)) -> rule3))] Erin is round.[(((((((triple12) -> rule5)) -> rule6)) -> rule2) OR ((((triple12 ((((triple12) -> rule5)) -> rule6)) -> rule3)) -> rule4))]