Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is white. Round people are white. If someone is smart then they are furry. All furry, green people are white.
Bob is not round.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple6) -> rule2))] Bob is green.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule1) OR ((triple3 triple4) -> rule3) OR ((((triple6) -> rule2) triple4) -> rule3))]