Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is not smart. Smart people are not blue. All green people are blue. If Erin is smart and Erin is not rough then Erin is kind. Green, blue people are cold. If someone is green and kind then they are not smart. If someone is rough and not cold then they are quiet.
Erin is blue.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule2))] Erin is cold.[(triple2 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple3) -> rule2)) -> rule4))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is not smart.[(triple7 OR ((triple3 triple4) -> rule5))] Erin is quiet.[(triple5)] Erin is rough.[(triple6)]