Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is not rough. Bob is not round. Bob is not smart. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is smart. If someone is red and not rough then they are blue.
Erin is not red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4 triple5) -> rule1))] Bob is nice.[(triple3)] Bob is not rough.[(triple5)] Bob is not round.[(triple6)] Bob is not smart.[(triple7)] Bob is red.[(triple4)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]