Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is round. Bob is smart. Bob is white. Blue people are quiet. If someone is furry then they are round. If someone is big then they are round. If someone is white and round then they are furry. All big, round people are quiet. All quiet people are big. All round, white people are quiet. If Bob is round and Bob is smart then Bob is furry.
Bob is round.
@0: Bob is big.[(triple1 OR ((triple4) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple5 triple7) -> rule7)) -> rule6) OR ((((((triple3) -> rule2) triple7) -> rule7)) -> rule6))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5 triple6) -> rule8) OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule3) triple6) -> rule8) OR ((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule4) OR ((((((triple4) -> rule6)) -> rule3) triple6) -> rule8) OR ((triple7 ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule3) triple6) -> rule8))] Bob is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple1 triple5) -> rule5) OR ((triple5 triple7) -> rule7) OR ((triple1 ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple3) -> rule2)) -> rule5) OR ((((triple1) -> rule3) triple7) -> rule7) OR ((((triple3) -> rule2) triple7) -> rule7))] Bob is round.[(triple5 OR ((triple1) -> rule3) OR ((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple2) -> rule1)) -> rule6)) -> rule3))] Bob is smart.[(triple6)] Bob is white.[(triple7)]