Bob is furry. Bob is kind. Dave is blue. Dave is green. Dave is kind. Dave is young. Gary is red. Round things are red. Blue, red things are green. If something is green then it is round. Kind things are blue. If Bob is green and Bob is furry then Bob is blue. If Gary is red and Gary is young then Gary is round. Furry things are young. If something is round and blue then it is kind.
Bob is kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Dave is blue.[(triple3 OR ((triple5) -> rule4))] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((((triple4) -> rule3) triple3) -> rule8))] Dave is young.[(triple6)] Gary is red.[(triple7)] @1: Bob is blue.[(((triple2) -> rule4))] Bob is young.[(((triple1) -> rule7))] Dave is round.[(((triple4) -> rule3))] @2: Dave is red.[(((((triple4) -> rule3)) -> rule1))]