Anne is big. Anne is cold. Anne is round. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. Big, green things are nice. If something is green and cold then it is round. Nice things are big. If something is blue then it is round. If Anne is round then Anne is green. All cold, round things are nice.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((((triple2 triple3) -> rule6)) -> rule3))] Anne is cold.[(triple2)] Anne is round.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple5 triple8) -> rule6) OR ((triple5 ((triple4) -> rule4)) -> rule6) OR ((triple5 ((triple6 triple5) -> rule2)) -> rule6))] Erin is round.[(triple8 OR ((triple4) -> rule4) OR ((triple6 triple5) -> rule2))] Fiona is big.[(triple9 OR ((triple13) -> rule3) OR ((((triple11 triple14) -> rule6)) -> rule3) OR ((((triple11 ((triple10) -> rule4)) -> rule6)) -> rule3) OR ((((triple11 ((triple12 triple11) -> rule2)) -> rule6)) -> rule3))] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13 OR ((triple11 triple14) -> rule6) OR ((triple9 triple12) -> rule1) OR ((triple11 ((triple10) -> rule4)) -> rule6) OR ((triple11 ((triple12 triple11) -> rule2)) -> rule6))] Fiona is round.[(triple14 OR ((triple10) -> rule4) OR ((triple12 triple11) -> rule2))] Fiona is white.[(triple15)] @1: Anne is green.[(((triple3) -> rule5))] Anne is nice.[(((triple2 triple3) -> rule6) OR ((triple1 ((triple3) -> rule5)) -> rule1))] Erin is big.[(((triple7) -> rule3) OR ((((triple5 triple8) -> rule6)) -> rule3) OR ((((triple5 ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 ((triple6 triple5) -> rule2)) -> rule6)) -> rule3))]