Anne is quiet. Dave is red. Erin is red. Gary is round. If Anne is big then Anne is rough. Rough, cold things are red. All big things are red. All cold things are red. All blue things are rough. All quiet, cold things are blue. Round things are not blue. If something is quiet then it is cold.
Gary is not round.
@0: Anne is quiet.[(triple1)] Dave is red.[(triple2)] Erin is red.[(triple3)] Gary is round.[(triple4)] @1: Anne is cold.[(((triple1) -> rule8))] Gary is not blue.[(((triple4) -> rule7))] @2: Anne is blue.[(((triple1 ((triple1) -> rule8)) -> rule6))] Anne is red.[(((((triple1) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule6)) -> rule5) ((triple1) -> rule8)) -> rule2))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule8)) -> rule6)) -> rule5))]