Dave is blue. Dave is nice. Erin is not green. Erin is quiet. Erin is round. Erin is smart. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. If something is nice and not blue then it is big. All round, smart things are not big.
Fiona is blue.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Erin is not green.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is not big.[(((triple5 triple6) -> rule2))] Fiona is not big.[(((triple9 triple10) -> rule2))]