Erin is big. Erin is not blue. Erin is green. Erin is quiet. Erin is red. Erin is not round. Erin is not smart. If Erin is red and Erin is not round then Erin is not smart. All blue people are not big. Round, red people are smart.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is green.[(triple3)] Erin is not blue.[(triple2)] Erin is not round.[(triple6)] Erin is not smart.[(triple7 OR ((triple5 triple6) -> rule1))] Erin is quiet.[(triple4)] Erin is red.[(triple5)]