Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Big, nice people are kind. All red, kind people are white. If someone is kind then they are big.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3))] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple1 triple4) -> rule1))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1 triple4) -> rule1)) -> rule2))] Bob is young.[(triple7)]