Bob is blue. Bob is rough. Dave is not young. Erin is young. Gary is blue. Gary is nice. Gary is rough. Smart things are not young. All smart things are quiet. If something is smart and not nice then it is furry. Smart, quiet things are blue. Quiet, nice things are blue. All blue things are smart. If something is quiet and not smart then it is not rough. If Bob is not young then Bob is not furry.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Dave is not young.[(triple3)] Erin is young.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Bob is smart.[(((triple1) -> rule6))] Gary is smart.[(((triple5) -> rule6))] @2: Bob is not young.[(((((triple1) -> rule6)) -> rule1))] Bob is quiet.[(((((triple1) -> rule6)) -> rule2))] Gary is not young.[(((((triple5) -> rule6)) -> rule1))] Gary is quiet.[(((((triple5) -> rule6)) -> rule2))] @3: Bob is not furry.[(((((((triple1) -> rule6)) -> rule1)) -> rule8))]