Anne is big. Anne is cold. Anne is green. Anne is kind. Charlie is big. Erin is big. Erin is cold. Erin is red. Erin is round. Erin is white. Fiona is big. Fiona is not cold. Fiona is kind. Fiona is not red. Fiona is round. Fiona is white. All red, big people are white. All round people are white. If Anne is white and Anne is kind then Anne is not red. All kind people are green. All green people are round. If Anne is red then Anne is white.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4) -> rule4))] Anne is kind.[(triple4)] Charlie is big.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple9) -> rule2) OR ((triple8 triple6) -> rule1))] Fiona is big.[(triple11)] Fiona is kind.[(triple13)] Fiona is not cold.[(triple12)] Fiona is not red.[(triple14)] Fiona is round.[(triple15 OR ((((triple13) -> rule4)) -> rule5))] Fiona is white.[(triple16 OR ((triple15) -> rule2) OR ((((((triple13) -> rule4)) -> rule5)) -> rule2))] @1: Anne is round.[(((triple3) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] Fiona is green.[(((triple13) -> rule4))] @2: Anne is white.[(((((triple3) -> rule5)) -> rule2) OR ((((((triple4) -> rule4)) -> rule5)) -> rule2))] @3: Anne is not red.[(((((((triple3) -> rule5)) -> rule2) triple4) -> rule3) OR ((((((((triple4) -> rule4)) -> rule5)) -> rule2) triple4) -> rule3))]