Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is smart. Bob is white. Bob is young. All blue, big things are white. All kind, young things are white. Smart, nice things are blue.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple5 triple4) -> rule3))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple2 triple1) -> rule1) OR ((triple3 triple7) -> rule2) OR ((((triple5 triple4) -> rule3) triple1) -> rule1))] Bob is young.[(triple7)]