Bob is furry. Bob is red. Bob is rough. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. If Bob is red and Bob is big then Bob is smart. Rough, big people are smart.
Bob is red.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple8 triple4) -> rule2))] Gary is big.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15 OR ((triple14 triple10) -> rule2))]