Bob is cold. Bob is furry. Bob is red. Bob is smart. Bob is white. Bob is young. Charlie is red. Charlie is white. Charlie is not young. Harry is not cold. Harry is furry. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. If something is white and cold then it is furry. If something is furry and not cold then it is rough. If Bob is young and Bob is not furry then Bob is not red.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5 triple1) -> rule1))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Charlie is not young.[(triple9)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Harry is furry.[(triple11)] Harry is not cold.[(triple10)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple11 triple10) -> rule2))] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]