Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is smart. Red things are furry. If Erin is cold and Erin is not round then Erin is not smart. Cold things are blue. Cold, round things are blue. If something is blue and not furry then it is not cold. Blue, kind things are cold. Blue, smart things are kind. If something is cold and blue then it is kind.
Erin is not blue.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple6) -> rule4))] Erin is cold.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple1 triple7) -> rule7)) -> rule6))] Erin is furry.[(triple3 OR ((triple5) -> rule1))] Erin is kind.[(triple4 OR ((triple1 triple7) -> rule7) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple2) -> rule3)) -> rule8) OR ((triple2 ((triple2 triple6) -> rule4)) -> rule8) OR ((((triple2) -> rule3) triple7) -> rule7) OR ((((triple2 triple6) -> rule4) triple7) -> rule7))] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]