Bob is cold. Bob is green. Bob is not kind. Bob is quiet. Bob is red. Bob is smart. Bob is young. Gary is cold. Gary is green. Gary is smart. If something is kind then it is green. All young things are red. If something is cold and not green then it is red. If something is green and not red then it is quiet. If something is young and not red then it is smart. All red things are smart.
Gary is not quiet.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple7) -> rule2))] Bob is smart.[(triple6 OR ((triple5) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Bob is young.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is smart.[(triple10)]