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