Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is young. All nice people are big. All big, blue people are quiet.
Bob is not green.
@0: Bob is big.[(triple1 OR ((triple4) -> rule1))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple1 triple2) -> rule2) OR ((((triple4) -> rule1) triple2) -> rule2))] Bob is rough.[(triple6)] Bob is young.[(triple7)]