Bob is blue. Bob is rough. Bob is round. If Bob is blue and Bob is round then Bob is red. All blue things are big. If something is rough then it is big. If Bob is blue then Bob is kind. All kind things are furry. Round, kind things are big.
Bob is not rough.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] @1: Bob is big.[(((triple1) -> rule2) OR ((triple2) -> rule3) OR ((triple3 ((triple1) -> rule4)) -> rule6))] Bob is kind.[(((triple1) -> rule4))] Bob is red.[(((triple1 triple3) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule4)) -> rule5))]