Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is round. Erin is smart. If someone is smart and not nice then they are round. All smart, big people are round. Nice, blue people are round. All cold people are round. If someone is round and not cold then they are not smart. If someone is big and not blue then they are not smart. If someone is round and not blue then they are big. If Erin is cold then Erin is round.
Erin is not nice.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6 OR ((triple3) -> rule4) OR ((triple3) -> rule8) OR ((triple5 triple2) -> rule3) OR ((triple7 triple1) -> rule2))] Erin is smart.[(triple7)]