Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is not rough. Bob is young. If Bob is big then Bob is kind. If something is rough and kind then it is nice. If something is young and not rough then it is nice. All kind things are big. Young things are big. Rough, young things are red.
Bob is red.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4) OR ((triple7) -> rule5))] Bob is kind.[(triple2 OR ((triple1) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] Bob is nice.[(triple3 OR ((triple7 triple6) -> rule3))] Bob is not rough.[(triple6)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple7)]