Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. All smart things are cold. If Erin is kind then Erin is quiet. If Erin is red then Erin is quiet. All red, kind things are blue. All blue things are quiet. If Erin is blue then Erin is smart. All nice things are cold. All kind things are smart.
Erin is not cold.
@0: Erin is blue.[(triple1 OR ((triple6 triple3) -> rule4))] Erin is cold.[(triple2 OR ((triple4) -> rule7) OR ((triple7) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple3) -> rule8)) -> rule1) OR ((((((triple6 triple3) -> rule4)) -> rule6)) -> rule1))] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple1) -> rule5) OR ((triple3) -> rule2) OR ((triple6) -> rule3) OR ((((triple6 triple3) -> rule4)) -> rule5))] Erin is red.[(triple6)] Erin is smart.[(triple7 OR ((triple1) -> rule6) OR ((triple3) -> rule8) OR ((((triple6 triple3) -> rule4)) -> rule6))]