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