Anne is young. Bob is smart. Dave is cold. Gary is white. If something is rough and smart then it is nice. All white things are smart. If Gary is smart then Gary is white. If Bob is nice then Bob is green. If something is smart and white then it is rough. All smart things are white. All cold things are rough. If something is smart then it is young.
Dave is not young.
@0: Anne is young.[(triple1)] Bob is smart.[(triple2)] Dave is cold.[(triple3)] Gary is white.[(triple4)] @1: Bob is white.[(((triple2) -> rule6))] Bob is young.[(((triple2) -> rule8))] Dave is rough.[(((triple3) -> rule7))] Gary is smart.[(((triple4) -> rule2))] @2: Bob is rough.[(((triple2 ((triple2) -> rule6)) -> rule5))] Gary is rough.[(((((triple4) -> rule2) triple4) -> rule5))] Gary is young.[(((((triple4) -> rule2)) -> rule8))] @3: Bob is nice.[(((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule1))] Gary is nice.[(((((((triple4) -> rule2) triple4) -> rule5) ((triple4) -> rule2)) -> rule1))] @4: Bob is green.[(((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule1)) -> rule4))]