Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. If someone is quiet then they are kind. If Erin is quiet then Erin is smart. Cold, smart people are kind. All cold, rough people are kind. Kind, red people are smart. If someone is nice and kind then they are quiet.
Erin is not kind.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2 OR ((triple4) -> rule1) OR ((triple1 triple6) -> rule4) OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple4) -> rule2)) -> rule3))] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple1 triple6) -> rule4)) -> rule6) OR ((triple3 ((triple1 triple7) -> rule3)) -> rule6))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple4) -> rule2) OR ((triple2 triple5) -> rule5) OR ((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple4) -> rule1) triple5) -> rule5) OR ((((triple1 triple6) -> rule4) triple5) -> rule5) OR ((((triple3 ((triple1 triple6) -> rule4)) -> rule6)) -> rule2))]