Anne is big. Anne is red. Anne is round. Anne is smart. Anne is white. Bob is big. Bob is rough. Bob is round. Erin is blue. Erin is rough. Gary is big. Gary is rough. White people are rough. All round, smart people are red. White people are rough.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is red.[(triple2 OR ((triple3 triple4) -> rule2))] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Erin is blue.[(triple9)] Erin is rough.[(triple10)] Gary is big.[(triple11)] Gary is rough.[(triple12)] @1: Anne is rough.[(((triple5) -> rule1) OR ((triple5) -> rule3))]