Erin is nice. Erin is red. Erin is smart. Erin is young. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is young. All young, round people are red.
Erin is not cold.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple11 triple9) -> rule1))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Gary is red.[(((triple16 triple14) -> rule1))]