Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is round. Bob is young. If something is round and not furry then it is blue. If something is young and not round then it is not cold. If something is blue and not furry then it is red. If something is kind then it is young. Furry things are young. All young things are kind.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple7) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule5) OR ((triple4) -> rule4))]