Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. If something is rough and quiet then it is nice. All round, kind things are green. If something is round and rough then it is kind.
Erin is green.
@0: Erin is green.[(triple1 OR ((triple7 triple2) -> rule2) OR ((triple7 ((triple7 triple6) -> rule3)) -> rule2))] Erin is kind.[(triple2 OR ((triple7 triple6) -> rule3))] Erin is nice.[(triple3 OR ((triple6 triple4) -> rule1))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)]