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