Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. White, blue things are quiet. If Bob is young then Bob is blue. Red, young things are furry. Red, blue things are smart. Smart things are blue. All red, blue things are smart.
Bob is not young.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule5) OR ((triple7) -> rule2))] Bob is furry.[(triple2 OR ((triple4 triple7) -> rule3))] Bob is quiet.[(triple3 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple5) -> rule5)) -> rule1) OR ((triple6 ((triple7) -> rule2)) -> rule1))] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple4 triple1) -> rule4) OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple7) -> rule2)) -> rule4) OR ((triple4 ((triple7) -> rule2)) -> rule6))] Bob is white.[(triple6)] Bob is young.[(triple7)]