Bob is nice. Bob is red. Bob is smart. Dave is green. Dave is not nice. Dave is red. Dave is smart. Dave is young. Gary is red. Harry is cold. If something is young and white then it is cold. All white things are nice. Cold things are white. If Dave is smart then Dave is red. All nice things are smart. If Bob is cold then Bob is red.
Gary is not red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3 OR ((triple1) -> rule5))] Dave is green.[(triple4)] Dave is not nice.[(triple5)] Dave is red.[(triple6 OR ((triple7) -> rule4))] Dave is smart.[(triple7)] Dave is young.[(triple8)] Gary is red.[(triple9)] Harry is cold.[(triple10)] @1: Harry is white.[(((triple10) -> rule3))] @2: Harry is nice.[(((((triple10) -> rule3)) -> rule2))] @3: Harry is smart.[(((((((triple10) -> rule3)) -> rule2)) -> rule5))]