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