Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is not rough. Dave is smart. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is not red. Erin is rough. Erin is smart. Smart things are furry. Rough things are furry. If Erin is red then Erin is rough. If Dave is big and Dave is not blue then Dave is green. If Dave is smart and Dave is rough then Dave is green. If Erin is not smart then Erin is furry. All red things are big. Smart, blue things are green.
Erin is not rough.
@0: Dave is big.[(triple1 OR ((triple5) -> rule7))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple7) -> rule1))] Dave is green.[(triple4 OR ((triple7 triple2) -> rule8))] Dave is not rough.[(triple6)] Dave is red.[(triple5)] Dave is smart.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10 OR ((triple13) -> rule2) OR ((triple14) -> rule1))] Erin is green.[(triple11 OR ((triple14 triple9) -> rule8))] Erin is not red.[(triple12)] Erin is rough.[(triple13)] Erin is smart.[(triple14)]