Bob is green. Gary is big. If something is green and not blue then it is not young. All blue, cold things are smart. Green things are cold. All nice things are big. If Bob is blue and Bob is not cold then Bob is smart. If Gary is not cold and Gary is not blue then Gary is smart. Big things are not nice. If Gary is smart then Gary is not nice.
Bob is smart.
@0: Bob is green.[(triple1)] Gary is big.[(triple2)] @1: Bob is cold.[(((triple1) -> rule3))] Gary is not nice.[(((triple2) -> rule7))]