Anne is cold. Bob is red. Gary is round. If something is rough then it is round. If Bob is rough then Bob is quiet. If something is nice then it is not cold. All quiet things are cold. If Anne is round then Anne is not quiet. All round things are nice. If something is cold and quiet then it is not nice. If something is round and cold then it is red.
Anne is not cold.
@0: Anne is cold.[(triple1)] Bob is red.[(triple2)] Gary is round.[(triple3)] @1: Gary is nice.[(((triple3) -> rule6))] @2: Gary is not cold.[(((((triple3) -> rule6)) -> rule3))]