Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is round. If someone is furry and cold then they are rough. If Erin is quiet then Erin is big. If someone is cold and quiet then they are rough.
Erin is big.
@0: Erin is big.[(triple1 OR ((triple5) -> rule2))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6 OR ((triple3 triple5) -> rule3) OR ((triple4 triple3) -> rule1))] Erin is round.[(triple7)]