Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is white. If Bob is rough then Bob is big. Quiet, white things are furry. If something is furry then it is blue. Furry things are green. If something is white then it is quiet. Green things are rough.
Bob is not rough.
@0: Bob is big.[(triple1 OR ((triple6) -> rule1) OR ((((triple4) -> rule6)) -> rule1) OR ((((((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((((((triple5 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule1) OR ((((((((((triple7) -> rule5) triple7) -> rule2)) -> rule4)) -> rule6)) -> rule1))] Bob is blue.[(triple2 OR ((triple3) -> rule3) OR ((((triple5 triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule5) triple7) -> rule2)) -> rule3))] Bob is furry.[(triple3 OR ((triple5 triple7) -> rule2) OR ((((triple7) -> rule5) triple7) -> rule2))] Bob is green.[(triple4 OR ((triple3) -> rule4) OR ((((triple5 triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule5) triple7) -> rule2)) -> rule4))] Bob is quiet.[(triple5 OR ((triple7) -> rule5))] Bob is rough.[(triple6 OR ((triple4) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple5 triple7) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule5) triple7) -> rule2)) -> rule4)) -> rule6))] Bob is white.[(triple7)]