Erin is cold. Erin is not round. Erin is smart. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is not cold. Gary is nice. Gary is not red. Gary is smart. If someone is nice and not quiet then they are not round. If Erin is round then Erin is rough. All quiet people are nice.
Erin is smart.
@0: Erin is cold.[(triple1)] Erin is not round.[(triple2)] Erin is smart.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Gary is nice.[(triple8)] Gary is not cold.[(triple7)] Gary is not red.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is nice.[(((triple4) -> rule3))]