Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is round. Bob is smart. Bob is young. Blue things are nice. If Bob is round then Bob is furry. All big, blue things are smart. If something is blue and smart then it is big. If something is big then it is round. Furry, young things are smart.
Bob is big.
@0: Bob is big.[(triple1 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple3 triple7) -> rule6)) -> rule4) OR ((triple2 ((((triple5) -> rule2) triple7) -> rule6)) -> rule4))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((((triple2 triple6) -> rule4)) -> rule5)) -> rule2))] Bob is nice.[(triple4 OR ((triple2) -> rule1))] Bob is round.[(triple5 OR ((triple1) -> rule5) OR ((((triple2 triple6) -> rule4)) -> rule5) OR ((((triple2 ((triple3 triple7) -> rule6)) -> rule4)) -> rule5))] Bob is smart.[(triple6 OR ((triple1 triple2) -> rule3) OR ((triple3 triple7) -> rule6) OR ((((triple5) -> rule2) triple7) -> rule6) OR ((((((triple1) -> rule5)) -> rule2) triple7) -> rule6))] Bob is young.[(triple7)]