「そのフロアワーク・レファレンスはぷんぷんしない」ということは本当である
fact1: もし仮に「なんらかの物は川岸段丘であるけれどＤＩＥでない」ということは事実であるということはないなら賃金上昇でない fact2: それは文献所収だけどローマ男でないというものはない fact3: 仮に「なにがしかのものは文献所収であるがしかしローマ男でない」ということは正しいということはないとしたらそれはぷんぷんするということはない
fact2 -> int1: 「そのフロアワーク・レファレンスが文献所収だけどローマ男でない」ということは事実と異なる; fact3 -> int2: 「そのフロアワーク・レファレンスは文献所収だけれどローマ男であるということはない」ということは嘘であるならそれはぷんぷんしない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); fact3 -> int2: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> hypothesis;
もし「そのフォアグラ丼は川岸段丘だ一方でそれはＤＩＥでない」ということは成り立たないならそれは賃金上昇だということはない
fact4 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかの物は川岸段丘であるけれどＤＩＥでない」ということは事実であるということはないなら賃金上昇でない fact2: それは文献所収だけどローマ男でないというものはない fact3: 仮に「なにがしかのものは文献所収であるがしかしローマ男でない」ということは正しいということはないとしたらそれはぷんぷんするということはない ; $hypothesis$ = 「そのフロアワーク・レファレンスはぷんぷんしない」ということは本当である ; $proof$ = 
fact2 -> int1: 「そのフロアワーク・レファレンスが文献所収だけどローマ男でない」ということは事実と異なる; fact3 -> int2: 「そのフロアワーク・レファレンスは文献所収だけれどローマ男であるということはない」ということは嘘であるならそれはぷんぷんしない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「なんらかの物は川岸段丘であるけれどＤＩＥでない」ということは事実であるということはないなら賃金上昇でない
事実2: それは文献所収だけどローマ男でないというものはない
事実3: 仮に「なにがしかのものは文献所収であるがしかしローマ男でない」ということは正しいということはないとしたらそれはぷんぷんするということはない

仮説: 「そのフロアワーク・レファレンスはぷんぷんしない」ということは本当である
1. 事実2から、推論1: "「そのフロアワーク・レファレンスが文献所収だけどローマ男でない」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "「そのフロアワーク・レファレンスは文献所収だけれどローマ男であるということはない」ということは嘘であるならそれはぷんぷんしない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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