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