Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is white. Blue, round people are quiet. If someone is round and cold then they are white. All cold people are blue.
Erin is not round.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule3))] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is quiet.[(triple4 OR ((triple1 triple6) -> rule1) OR ((((triple2) -> rule3) triple6) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple6 triple2) -> rule2))]