Bob is green. Charlie is furry. Charlie is white. Erin is not red. Erin is smart. Fiona is green. Fiona is not nice. All smart, nice people are round. If someone is white then they are round. If someone is round and not white then they are green. If Fiona is round and Fiona is nice then Fiona is not smart. If someone is nice and not round then they are red. If someone is furry and round then they are not red.
Fiona is not white.
@0: Bob is green.[(triple1)] Charlie is furry.[(triple2)] Charlie is white.[(triple3)] Erin is not red.[(triple4)] Erin is smart.[(triple5)] Fiona is green.[(triple6)] Fiona is not nice.[(triple7)] @1: Charlie is round.[(((triple3) -> rule2))] @2: Charlie is not red.[(((triple2 ((triple3) -> rule2)) -> rule6))]