Dave is white. Erin is smart. Erin is young. Gary is cold. Gary is nice. Gary is smart. Gary is young. White, smart things are young. If Gary is cold and Gary is white then Gary is not round. If something is rough then it is smart. If something is smart then it is white. If something is round then it is not cold. All smart things are cold. White things are rough. If Erin is not rough then Erin is young.
Gary is white.
@0: Dave is white.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3 OR ((((triple2) -> rule4) triple2) -> rule1))] Gary is cold.[(triple4 OR ((triple6) -> rule6))] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((((triple6) -> rule4) triple6) -> rule1))] @1: Dave is rough.[(((triple1) -> rule7))] Erin is cold.[(((triple2) -> rule6))] Erin is white.[(((triple2) -> rule4))] Gary is white.[(((triple6) -> rule4))] @2: Dave is smart.[(((((triple1) -> rule7)) -> rule3))] Erin is rough.[(((((triple2) -> rule4)) -> rule7))] Gary is not round.[(((triple4 ((triple6) -> rule4)) -> rule2) OR ((((triple6) -> rule6) ((triple6) -> rule4)) -> rule2))] Gary is rough.[(((((triple6) -> rule4)) -> rule7))] @3: Dave is cold.[(((((((triple1) -> rule7)) -> rule3)) -> rule6))] Dave is young.[(((triple1 ((((triple1) -> rule7)) -> rule3)) -> rule1))]