Charlie is quiet. Charlie is rough. Charlie is smart. Erin is furry. Erin is quiet. Erin is rough. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is smart. All smart, big people are nice. If someone is nice then they are blue.
Charlie is not smart.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7 OR ((triple8) -> rule2))] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)]