Anne is big. Anne is red. Bob is red. Bob is rough. Bob is white. Bob is young. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is big. Gary is furry. Gary is red. Gary is rough. Rough, smart people are big. All red people are young.
Bob is not big.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple3) -> rule2))] Erin is furry.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple8) -> rule2))] Gary is big.[(triple13)] Gary is furry.[(triple14)] Gary is red.[(triple15)] Gary is rough.[(triple16)] @1: Anne is young.[(((triple2) -> rule2))] Erin is big.[(((triple9 triple10) -> rule1))] Gary is young.[(((triple15) -> rule2))]