Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Bob is young. If someone is big then they are white. If someone is young and white then they are nice. If Bob is blue then Bob is nice. Quiet people are big. All young, white people are rough. If someone is young then they are nice.
Bob is blue.
@0: Bob is big.[(triple1 OR ((triple4) -> rule4))] Bob is blue.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule3) OR ((triple7) -> rule6) OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple1) -> rule1)) -> rule2) OR ((triple7 ((((triple4) -> rule4)) -> rule1)) -> rule2))] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple1) -> rule1)) -> rule5) OR ((triple7 ((((triple4) -> rule4)) -> rule1)) -> rule5))] Bob is white.[(triple6 OR ((triple1) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] Bob is young.[(triple7)]