「あの日本的労使関係は土星型原子模型であるかまたはそれはビール工業である」ということは誤りだ
fact1: あの日本的労使関係は土星型原子模型でない fact2: 腹部不快感はビール工業だ fact3: なにがしかの物はビール工業である fact4: 「腹部不快感な」物はある fact5: 「あのＤＨＣＰサーバは灯し難いかもしくはそれは御試し有る」ということは成り立たない fact6: 「御目当てである」物はあるとすると「その右奥は引き出し得るかもしくは腹部不快感であるかもしくはどちらもだ」ということは事実だということはない fact7: 仮に「腹部不快感な」物はあるとすると「あの日本的労使関係は土星型原子模型でない」ということは成り立つ fact8: もし腹部不快感はあるなら「あの日本的労使関係は土星型原子模型であるかもしくはビール工業であるかまたは両方だ」ということは正しくない fact9: 手っ取り早くない物が飛び交うとすると腹部不快感である
fact4 & fact8 -> hypothesis;
fact4 & fact8 -> hypothesis;
あの日本的労使関係は土星型原子模型であるかビール工業であるかまたは両方ともである
fact11 -> int1: 仮に「あの日本的労使関係は腹部不快感である」ということは間違いでないとすればビール工業だ; fact10 -> int2: もし仮にあの日本的労使関係が手っ取り早くない一方で飛び交えば「腹部不快感だ」ということは真実だ;
$facts$ = fact1: あの日本的労使関係は土星型原子模型でない fact2: 腹部不快感はビール工業だ fact3: なにがしかの物はビール工業である fact4: 「腹部不快感な」物はある fact5: 「あのＤＨＣＰサーバは灯し難いかもしくはそれは御試し有る」ということは成り立たない fact6: 「御目当てである」物はあるとすると「その右奥は引き出し得るかもしくは腹部不快感であるかもしくはどちらもだ」ということは事実だということはない fact7: 仮に「腹部不快感な」物はあるとすると「あの日本的労使関係は土星型原子模型でない」ということは成り立つ fact8: もし腹部不快感はあるなら「あの日本的労使関係は土星型原子模型であるかもしくはビール工業であるかまたは両方だ」ということは正しくない fact9: 手っ取り早くない物が飛び交うとすると腹部不快感である ; $hypothesis$ = 「あの日本的労使関係は土星型原子模型であるかまたはそれはビール工業である」ということは誤りだ ; $proof$ = 
fact4 & fact8 -> hypothesis; __PROVED__
事実1: あの日本的労使関係は土星型原子模型でない
事実2: 腹部不快感はビール工業だ
事実3: なにがしかの物はビール工業である
事実4: 「腹部不快感な」物はある
事実5: 「あのＤＨＣＰサーバは灯し難いかもしくはそれは御試し有る」ということは成り立たない
事実6: 「御目当てである」物はあるとすると「その右奥は引き出し得るかもしくは腹部不快感であるかもしくはどちらもだ」ということは事実だということはない
事実7: 仮に「腹部不快感な」物はあるとすると「あの日本的労使関係は土星型原子模型でない」ということは成り立つ
事実8: もし腹部不快感はあるなら「あの日本的労使関係は土星型原子模型であるかもしくはビール工業であるかまたは両方だ」ということは正しくない
事実9: 手っ取り早くない物が飛び交うとすると腹部不快感である

仮説: 「あの日本的労使関係は土星型原子模型であるかまたはそれはビール工業である」ということは誤りだ
1. 事実4と事実8から、仮説が導かれる

よって、仮説が証明されました。