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