Charlie is not big. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is round. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is not red. Dave is not round. Erin is green. Erin is red. Fiona is nice. Fiona is not round. Fiona is white. If someone is round and kind then they are red. White people are green. If Erin is white and Erin is green then Erin is not kind.
Fiona is not red.
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not big.[(triple1)] Charlie is not green.[(triple2)] Charlie is round.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is not red.[(triple10)] Dave is not round.[(triple11)] Erin is green.[(triple12)] Erin is red.[(triple13)] Fiona is nice.[(triple14)] Fiona is not round.[(triple15)] Fiona is white.[(triple16)] @1: Charlie is red.[(((triple5 triple3) -> rule1))] Fiona is green.[(((triple16) -> rule2))]