Bob is big. Bob is nice. Bob is white. All nice, green people are round. White people are green. If Bob is big and Bob is white then Bob is round. If someone is nice and round then they are green. If Bob is nice and Bob is big then Bob is round. All green, smart people are kind. If Bob is smart then Bob is nice. If someone is big then they are smart.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2 OR ((((triple1) -> rule8)) -> rule7))] Bob is white.[(triple3)] @1: Bob is green.[(((triple3) -> rule2) OR ((triple2 ((triple1 triple3) -> rule3)) -> rule4) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule8)) -> rule7) ((triple1 triple3) -> rule3)) -> rule4) OR ((((((triple1) -> rule8)) -> rule7) ((triple2 triple1) -> rule5)) -> rule4) OR ((triple2 ((((((triple1) -> rule8)) -> rule7) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule8)) -> rule7) ((((((triple1) -> rule8)) -> rule7) triple1) -> rule5)) -> rule4))] Bob is round.[(((triple1 triple3) -> rule3) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule5) OR ((((((triple1) -> rule8)) -> rule7) ((triple3) -> rule2)) -> rule1))] Bob is smart.[(((triple1) -> rule8))] @2: Bob is kind.[(((((triple3) -> rule2) ((triple1) -> rule8)) -> rule6) OR ((((triple2 ((triple1 triple3) -> rule3)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule7) ((triple1 triple3) -> rule3)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule7) ((triple2 triple1) -> rule5)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((triple2 ((((((triple1) -> rule8)) -> rule7) triple1) -> rule5)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule7) ((((((triple1) -> rule8)) -> rule7) triple1) -> rule5)) -> rule4) ((triple1) -> rule8)) -> rule6))]