Charlie is green. Charlie is quiet. Charlie is white. Dave is blue. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Erin is green. Erin is round. Fiona is nice. All nice, green people are quiet. All green people are round. White people are red. All quiet, round people are blue. All red people are green. If Fiona is blue and Fiona is green then Fiona is red.
Dave is not white.
@0: Charlie is green.[(triple1 OR ((((triple3) -> rule3)) -> rule5))] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Dave is blue.[(triple4 OR ((triple6 triple8) -> rule4) OR ((triple6 ((((triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((triple7) -> rule5)) -> rule1) triple8) -> rule4) OR ((((triple5 ((triple7) -> rule5)) -> rule1) ((((triple7) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((((triple9) -> rule3)) -> rule5)) -> rule1) triple8) -> rule4) OR ((((triple5 ((triple7) -> rule5)) -> rule1) ((((((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((((triple9) -> rule3)) -> rule5)) -> rule1) ((((triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((((triple9) -> rule3)) -> rule5)) -> rule1) ((((((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule4))] Dave is nice.[(triple5)] Dave is quiet.[(triple6 OR ((triple5 ((triple7) -> rule5)) -> rule1) OR ((triple5 ((((triple9) -> rule3)) -> rule5)) -> rule1))] Dave is red.[(triple7 OR ((triple9) -> rule3))] Dave is round.[(triple8 OR ((((triple7) -> rule5)) -> rule2) OR ((((((triple9) -> rule3)) -> rule5)) -> rule2))] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is round.[(triple11 OR ((triple10) -> rule2))] Fiona is nice.[(triple12)] @1: Charlie is red.[(((triple3) -> rule3))] Charlie is round.[(((triple1) -> rule2) OR ((((((triple3) -> rule3)) -> rule5)) -> rule2))] Dave is green.[(((triple7) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] @2: Charlie is blue.[(((triple2 ((triple1) -> rule2)) -> rule4) OR ((triple2 ((((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule4))]