Anne is smart. Dave is smart. Erin is white. Gary is big. Gary is blue. Gary is kind. Gary is rough. All blue, smart things are white. If something is blue then it is smart. White things are kind.
Gary is smart.
@0: Anne is smart.[(triple1)] Dave is smart.[(triple2)] Erin is white.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6 OR ((((triple5 ((triple5) -> rule2)) -> rule1)) -> rule3))] Gary is rough.[(triple7)] @1: Erin is kind.[(((triple3) -> rule3))] Gary is smart.[(((triple5) -> rule2))] @2: Gary is white.[(((triple5 ((triple5) -> rule2)) -> rule1))]