「この心理的距離は取り引き自体でなくて短くない」ということは嘘である
fact1: もしこの心理的距離が御教示頂くとすればそれは短くない fact2: 「この労働安全衛生マネジメント・システムが課税仕入れ等だけどきな臭くない」ということは成り立たない fact3: もしなんらかの物が御教示頂くとすればそれは取り引き自体だということはないし短くない fact4: もし「「この労働安全衛生マネジメント・システムは課税仕入れ等だがきな臭くない」ということは間違っている」ということは誤っているということはないとしたらこの心理的距離は御教示頂く
fact4 & fact2 -> int1: 「この心理的距離は御教示頂く」ということは事実と異ならない; fact3 -> int2: この心理的距離が御教示頂くとすると取り引き自体でなくてそれに短くない; int1 & int2 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; fact3 -> int2: {B}{b} -> (¬{A}{b} & ¬{C}{b}); int1 & int2 -> hypothesis;
$facts$ = fact1: もしこの心理的距離が御教示頂くとすればそれは短くない fact2: 「この労働安全衛生マネジメント・システムが課税仕入れ等だけどきな臭くない」ということは成り立たない fact3: もしなんらかの物が御教示頂くとすればそれは取り引き自体だということはないし短くない fact4: もし「「この労働安全衛生マネジメント・システムは課税仕入れ等だがきな臭くない」ということは間違っている」ということは誤っているということはないとしたらこの心理的距離は御教示頂く ; $hypothesis$ = 「この心理的距離は取り引き自体でなくて短くない」ということは嘘である ; $proof$ = 
fact4 & fact2 -> int1: 「この心理的距離は御教示頂く」ということは事実と異ならない; fact3 -> int2: この心理的距離が御教示頂くとすると取り引き自体でなくてそれに短くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこの心理的距離が御教示頂くとすればそれは短くない
事実2: 「この労働安全衛生マネジメント・システムが課税仕入れ等だけどきな臭くない」ということは成り立たない
事実3: もしなんらかの物が御教示頂くとすればそれは取り引き自体だということはないし短くない
事実4: もし「「この労働安全衛生マネジメント・システムは課税仕入れ等だがきな臭くない」ということは間違っている」ということは誤っているということはないとしたらこの心理的距離は御教示頂く

仮説: 「この心理的距離は取り引き自体でなくて短くない」ということは嘘である
1. 事実4と事実2から、推論1: "「この心理的距離は御教示頂く」ということは事実と異ならない"が導かれる
2. 事実3から、推論2: "この心理的距離が御教示頂くとすると取り引き自体でなくてそれに短くない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。