Charlie is not green. Dave is red. Erin is smart. Fiona is nice. All big people are smart. If Fiona is not green and Fiona is not red then Fiona is big. If someone is smart then they are nice. All kind people are nice. Big people are not round. Red people are big. If Erin is not round then Erin is green. If Fiona is not round then Fiona is nice.
Erin is not green.
@0: Charlie is not green.[(triple1)] Dave is red.[(triple2)] Erin is smart.[(triple3)] Fiona is nice.[(triple4)] @1: Dave is big.[(((triple2) -> rule6))] Erin is nice.[(((triple3) -> rule3))] @2: Dave is not round.[(((((triple2) -> rule6)) -> rule5))] Dave is smart.[(((((triple2) -> rule6)) -> rule1))] @3: Dave is nice.[(((((((triple2) -> rule6)) -> rule1)) -> rule3))]