Charlie is blue. Charlie is kind. Charlie is round. Dave is blue. Dave is kind. Dave is nice. Dave is round. Erin is furry. Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. If someone is white then they are blue. If someone is kind then they are white. Blue, furry people are round.
Erin is not white.
@0: Charlie is blue.[(triple1 OR ((((triple2) -> rule2)) -> rule1))] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Dave is blue.[(triple4 OR ((((triple5) -> rule2)) -> rule1))] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is round.[(triple7)] Erin is furry.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule1))] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] @1: Charlie is white.[(((triple2) -> rule2))] Dave is white.[(((triple5) -> rule2))]