Anne is blue. Anne is quiet. Anne is white. Bob is quiet. Charlie is quiet. Gary is cold. Gary is round. If someone is blue then they are round. If Anne is round then Anne is rough. If Anne is blue and Anne is white then Anne is big. If Anne is blue and Anne is rough then Anne is cold. If someone is blue then they are big. All quiet, rough people are white.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule6))] Bob is quiet.[(triple4)] Charlie is quiet.[(triple5)] Gary is cold.[(triple6)] Gary is round.[(triple7)] @1: Anne is big.[(((triple1) -> rule5) OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Anne is round.[(((triple1) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is cold.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule4))]