Anne is kind. Bob is not cold. Gary is green. If something is green then it is cold. If Bob is kind and Bob is not cold then Bob is nice. If something is cold then it is nice. All kind, smart things are nice. Nice, smart things are kind. If something is big and green then it is not kind. All kind things are big. Smart things are big.
Bob is not kind.
@0: Anne is kind.[(triple1)] Bob is not cold.[(triple2)] Gary is green.[(triple3)] @1: Anne is big.[(((triple1) -> rule7))] Gary is cold.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1)) -> rule3))]