Anne is nice. Anne is white. Charlie is round. Charlie is white. Erin is not nice. Erin is quiet. Gary is not quiet. Blue people are big. If someone is white then they are green. If Anne is quiet then Anne is blue. If Anne is green then Anne is quiet. Blue people are quiet. If Anne is white and Anne is not blue then Anne is nice. Big people are round. If someone is big and not nice then they are round.
Gary is nice.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is not nice.[(triple5)] Erin is quiet.[(triple6)] Gary is not quiet.[(triple7)] @1: Anne is green.[(((triple2) -> rule2))] Charlie is green.[(((triple4) -> rule2))] @2: Anne is quiet.[(((((triple2) -> rule2)) -> rule4))] @3: Anne is blue.[(((((((triple2) -> rule2)) -> rule4)) -> rule3))] @4: Anne is big.[(((((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule1))] @5: Anne is round.[(((((((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule1)) -> rule7))]