Anne is big. Bob is big. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Charlie is kind. Charlie is red. Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. All furry, big people are red.
Bob is not rough.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14 OR ((triple10 triple9) -> rule1))] Erin is rough.[(triple15)]