Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is round. All round, green people are furry. If Bob is cold then Bob is blue. Blue people are furry.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule3) OR ((triple7 triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule3))] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is round.[(triple7)]