Bob is blue. Bob is cold. Bob is rough. Dave is rough. Erin is blue. Erin is rough. Erin is young. Gary is rough. Gary is round. Gary is young. All rough, smart things are blue. All blue, smart things are green. If something is young then it is smart.
Gary is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Dave is rough.[(triple4)] Erin is blue.[(triple5 OR ((triple6 ((triple7) -> rule3)) -> rule1))] Erin is rough.[(triple6)] Erin is young.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Erin is smart.[(((triple7) -> rule3))] Gary is smart.[(((triple10) -> rule3))] @2: Erin is green.[(((triple5 ((triple7) -> rule3)) -> rule2) OR ((((triple6 ((triple7) -> rule3)) -> rule1) ((triple7) -> rule3)) -> rule2))] Gary is blue.[(((triple8 ((triple10) -> rule3)) -> rule1))] @3: Gary is green.[(((((triple8 ((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule2))]