Bob is kind. Bob is nice. Bob is smart. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is not round. Gary is blue. Gary is not cold. Gary is furry. Gary is not nice. Gary is not smart. If Gary is round then Gary is cold. If Bob is furry and Bob is kind then Bob is round. All smart things are furry. If something is round then it is furry. Kind, round things are blue. If something is round and not furry then it is blue.
Bob is cold.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is not round.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple10)] Gary is not cold.[(triple9)] Gary is not nice.[(triple11)] Gary is not smart.[(triple12)] @1: Bob is furry.[(((triple3) -> rule3))] @2: Bob is round.[(((((triple3) -> rule3) triple1) -> rule2))] @3: Bob is blue.[(((triple1 ((((triple3) -> rule3) triple1) -> rule2)) -> rule5))]