Bob is big. Bob is blue. Bob is round. All round people are green. If Bob is round then Bob is kind. If someone is cold then they are big. All round people are young. If Bob is big and Bob is kind then Bob is young. Blue, round people are green.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] @1: Bob is green.[(((triple3) -> rule1) OR ((triple2 triple3) -> rule6))] Bob is kind.[(((triple3) -> rule2))] Bob is young.[(((triple3) -> rule4) OR ((triple1 ((triple3) -> rule2)) -> rule5))]