Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. If someone is rough and blue then they are big. Blue, big people are red. If someone is nice then they are red.
Erin is not nice.
@0: Erin is big.[(triple1 OR ((triple6 triple2) -> rule1))] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5 OR ((triple4) -> rule3) OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple6 triple2) -> rule1)) -> rule2))] Erin is rough.[(triple6)] Erin is smart.[(triple7)]