Dave is kind. Dave is nice. Dave is quiet. Dave is red. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Red things are nice. All red, nice things are white.
Erin is not nice.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule1))] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple8 triple6) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] Erin is young.[(triple11)] Fiona is nice.[(triple12 OR ((triple14) -> rule1))] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is white.[(triple15 OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple14) -> rule1)) -> rule2))] Fiona is young.[(triple16)] @1: Dave is white.[(((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))]