Bob is not big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is red. Harry is big. Harry is blue. Harry is not cold. Harry is nice. Harry is red. Harry is young. If something is nice and not kind then it is not red. If something is cold then it is not young. All cold, red things are nice. Big, kind things are nice. Cold, red things are nice. If Bob is red then Bob is cold.
Bob is not kind.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple6) -> rule6))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple3 triple6) -> rule3) OR ((triple3 triple6) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule3) OR ((((triple6) -> rule6) triple6) -> rule5))] Bob is not big.[(triple1)] Bob is red.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple10)] Harry is not cold.[(triple9)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Bob is not young.[(((triple3) -> rule2) OR ((((triple6) -> rule6)) -> rule2))]