Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is white. Furry things are round. Round things are white. If Bob is furry and Bob is green then Bob is white. If something is furry then it is quiet. All rough things are green. White, green things are round. If something is white then it is round. If something is big and green then it is quiet.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule5))] Bob is quiet.[(triple4 OR ((triple2) -> rule4) OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple5) -> rule5)) -> rule8))] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple2) -> rule1) OR ((triple7) -> rule7) OR ((triple7 triple3) -> rule6) OR ((((triple2 triple3) -> rule3)) -> rule7) OR ((triple7 ((triple5) -> rule5)) -> rule6) OR ((((triple2 triple3) -> rule3) triple3) -> rule6) OR ((((triple2 triple3) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((triple2 ((triple5) -> rule5)) -> rule3)) -> rule7) OR ((((triple2 ((triple5) -> rule5)) -> rule3) triple3) -> rule6) OR ((((triple2 ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule6))] Bob is white.[(triple7 OR ((triple6) -> rule2) OR ((triple2 triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule2) OR ((triple2 ((triple5) -> rule5)) -> rule3))]