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