Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Erin is blue. Erin is rough. Erin is smart. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. All smart people are round. If Erin is blue and Erin is round then Erin is not red.
Erin is green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple7) -> rule1))] Bob is smart.[(triple7)] Erin is blue.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Erin is round.[(((triple10) -> rule1))] Gary is round.[(((triple16) -> rule1))] @2: Erin is not red.[(((triple8 ((triple10) -> rule1)) -> rule2))]