Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Erin is young. Quiet, kind people are red. If Erin is young and Erin is kind then Erin is quiet. If someone is red and cold then they are kind.
Erin is red.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple5 triple1) -> rule3))] Erin is quiet.[(triple4 OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple5 triple1) -> rule3)) -> rule2))] Erin is red.[(triple5 OR ((triple4 triple3) -> rule1) OR ((((triple7 triple3) -> rule2) triple3) -> rule1))] Erin is smart.[(triple6)] Erin is young.[(triple7)]