Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Bob is young. If Bob is big and Bob is green then Bob is nice. Green, big things are quiet. Big things are nice. Big things are smart. All big, smart things are white. Nice, big things are white.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple1 triple2) -> rule1))] Bob is quiet.[(triple4 OR ((triple2 triple1) -> rule2))] Bob is smart.[(triple5 OR ((triple1) -> rule4))] Bob is white.[(triple6 OR ((triple1 triple5) -> rule5) OR ((triple3 triple1) -> rule6) OR ((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple1 triple2) -> rule1) triple1) -> rule6))] Bob is young.[(triple7)]