Anne is big. Anne is blue. Anne is red. Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. All red people are furry. Furry, green people are blue. If someone is furry then they are quiet. All round people are furry. Furry people are round. All big, quiet people are red. If Bob is red then Bob is big. Quiet people are furry.
Bob is not quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Bob is big.[(triple4 OR ((triple9) -> rule7))] Bob is blue.[(triple5 OR ((triple6 triple7) -> rule2) OR ((((triple10) -> rule4) triple7) -> rule2) OR ((((triple8) -> rule8) triple7) -> rule2) OR ((((triple9) -> rule1) triple7) -> rule2) OR ((((((triple4 triple8) -> rule6)) -> rule1) triple7) -> rule2))] Bob is furry.[(triple6 OR ((triple10) -> rule4) OR ((triple8) -> rule8) OR ((triple9) -> rule1) OR ((((triple4 triple8) -> rule6)) -> rule1))] Bob is green.[(triple7)] Bob is quiet.[(triple8 OR ((triple6) -> rule3) OR ((((triple10) -> rule4)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] Bob is red.[(triple9 OR ((triple4 triple8) -> rule6) OR ((triple4 ((triple6) -> rule3)) -> rule6) OR ((triple4 ((((triple10) -> rule4)) -> rule3)) -> rule6))] Bob is round.[(triple10 OR ((triple6) -> rule5) OR ((((triple8) -> rule8)) -> rule5) OR ((((triple9) -> rule1)) -> rule5) OR ((((((triple4 triple8) -> rule6)) -> rule1)) -> rule5))] @1: Anne is furry.[(((triple3) -> rule1))] @2: Anne is quiet.[(((((triple3) -> rule1)) -> rule3))] Anne is round.[(((((triple3) -> rule1)) -> rule5))]