Bob is big. Bob is cold. Bob is not kind. Bob is nice. Bob is quiet. Bob is not red. Bob is young. Harry is big. Harry is cold. Harry is not kind. Harry is nice. Harry is quiet. Harry is red. Harry is young. All cold people are nice. Red people are not kind.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple4 OR ((triple2) -> rule1))] Bob is not kind.[(triple3)] Bob is not red.[(triple6)] Bob is quiet.[(triple5)] Bob is young.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple11 OR ((triple9) -> rule1))] Harry is not kind.[(triple10 OR ((triple13) -> rule2))] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is young.[(triple14)]