Dave is red. Erin is not quiet. Erin is not round. Fiona is round. Fiona is young. Gary is big. Gary is nice. If Erin is not red then Erin is round. Cold people are quiet. If someone is round and not red then they are quiet. If Erin is cold then Erin is not young. All cold, round people are big. Round people are cold.
Fiona is not cold.
@0: Dave is red.[(triple1)] Erin is not quiet.[(triple2)] Erin is not round.[(triple3)] Fiona is round.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is cold.[(((triple4) -> rule6))] @2: Fiona is big.[(((((triple4) -> rule6) triple4) -> rule5))] Fiona is quiet.[(((((triple4) -> rule6)) -> rule2))]