Erin is red. Erin is round. Erin is smart. Gary is big. Gary is green. Gary is red. Gary is round. If someone is rough and round then they are smart. If someone is big and red then they are smart. Smart people are blue.
Gary is not green.
@0: Erin is red.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Gary is big.[(triple4)] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)] @1: Erin is blue.[(((triple3) -> rule3))] Gary is smart.[(((triple4 triple6) -> rule2))] @2: Gary is blue.[(((((triple4 triple6) -> rule2)) -> rule3))]