Anne is big. Anne is quiet. Bob is smart. Dave is rough. Gary is big. Gary is blue. Gary is not nice. If something is rough and blue then it is not smart. Rough, blue things are not smart. If something is smart then it is nice. All rough things are quiet. All blue things are quiet. If something is nice then it is rough. If Bob is quiet then Bob is nice. Rough, big things are not green.
Bob is quiet.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is rough.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is not nice.[(triple7)] @1: Bob is nice.[(((triple3) -> rule3))] Dave is quiet.[(((triple4) -> rule4))] Gary is quiet.[(((triple6) -> rule5))] @2: Bob is rough.[(((((triple3) -> rule3)) -> rule6))] @3: Bob is quiet.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))]