Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. All round, kind things are quiet. Red, kind things are smart. All red things are furry.
Erin is not smart.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple5) -> rule3))] Erin is kind.[(triple3)] Erin is quiet.[(triple4 OR ((triple6 triple3) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple5 triple3) -> rule2))]