Anne is big. Anne is kind. Anne is quiet. Anne is not white. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Gary is not big. Gary is green. Gary is kind. Gary is quiet. If someone is round and green then they are rough. Rough, round people are quiet. If someone is rough then they are not big. If someone is quiet and not green then they are not kind. If someone is rough and white then they are kind. Quiet people are not white. If Gary is white then Gary is round. If Anne is rough then Anne is quiet.
Gary is not round.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is not white.[(triple4 OR ((triple3) -> rule6))] Anne is quiet.[(triple3)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7 OR ((triple8 triple5) -> rule1))] Fiona is round.[(triple8)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is not big.[(triple9)] Gary is quiet.[(triple12)] @1: Fiona is not big.[(((triple7) -> rule3) OR ((((triple8 triple5) -> rule1)) -> rule3))] Fiona is quiet.[(((triple7 triple8) -> rule2) OR ((((triple8 triple5) -> rule1) triple8) -> rule2))] Gary is not white.[(((triple12) -> rule6))] @2: Fiona is not white.[(((((triple7 triple8) -> rule2)) -> rule6) OR ((((((triple8 triple5) -> rule1) triple8) -> rule2)) -> rule6))]