Charlie is rough. Erin is smart. Fiona is smart. If Erin is round then Erin is rough. If Charlie is round and Charlie is not rough then Charlie is white. If Erin is round and Erin is white then Erin is not green. Rough, white people are big. If someone is smart and nice then they are big. All rough people are nice. All rough, smart people are nice. If Fiona is smart and Fiona is not green then Fiona is rough.
Fiona is not big.
@0: Charlie is rough.[(triple1)] Erin is smart.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule6))]