Dave is blue. Dave is not quiet. Dave is not round. Dave is white. Erin is blue. Erin is green. Erin is round. Erin is white. Fiona is big. Fiona is blue. Fiona is not nice. Fiona is not round. Big people are not green. If someone is blue and big then they are quiet. If someone is big and not green then they are white.
Fiona is big.
@0: Dave is blue.[(triple1)] Dave is not quiet.[(triple2)] Dave is not round.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is not nice.[(triple11)] Fiona is not round.[(triple12)] @1: Fiona is not green.[(((triple9) -> rule1))] Fiona is quiet.[(((triple10 triple9) -> rule2))] @2: Fiona is white.[(((triple9 ((triple9) -> rule1)) -> rule3))]