Erin is blue. Erin is cold. Erin is round. Fiona is blue. Fiona is quiet. Fiona is not round. Gary is not blue. Gary is quiet. Gary is white. Gary is young. If Gary is quiet then Gary is white. If something is big and not round then it is cold. If something is blue then it is cold. If Erin is cold then Erin is blue. If Gary is big and Gary is not round then Gary is quiet. If Erin is round then Erin is quiet.
Fiona is not round.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule4))] Erin is cold.[(triple2 OR ((triple1) -> rule3))] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is not round.[(triple6)] Fiona is quiet.[(triple5)] Gary is not blue.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9 OR ((triple8) -> rule1))] Gary is young.[(triple10)] @1: Erin is quiet.[(((triple3) -> rule6))] Fiona is cold.[(((triple4) -> rule3))]