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