Anne is big. Anne is blue. Charlie is rough. Fiona is blue. Gary is cold. Gary is nice. Gary is not rough. If something is rough then it is cold. If Anne is rough and Anne is not nice then Anne is quiet. Cold things are quiet. If Gary is blue and Gary is not nice then Gary is not rough. Big, quiet things are round. If Anne is blue then Anne is rough.
Charlie is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Charlie is rough.[(triple3)] Fiona is blue.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is not rough.[(triple7)] @1: Anne is rough.[(((triple2) -> rule6))] Charlie is cold.[(((triple3) -> rule1))] Gary is quiet.[(((triple5) -> rule3))] @2: Anne is cold.[(((((triple2) -> rule6)) -> rule1))] Charlie is quiet.[(((((triple3) -> rule1)) -> rule3))] @3: Anne is quiet.[(((((((triple2) -> rule6)) -> rule1)) -> rule3))] @4: Anne is round.[(((triple1 ((((((triple2) -> rule6)) -> rule1)) -> rule3)) -> rule5))]