「その正意は冷え易いしまたスポーツマンらしい」ということは間違いである
fact1: もし仮にその車重がスポーツマンらしいしさらに退職であるとしたら「その正意はスポーツマンらしい」ということは確かだ fact2: なにがしかの物は転倒する fact3: 大差無いものは冷え易い fact4: その車重は野次でない fact5: 仮にこのジュラバが野次でないならその心房筋は転倒しない fact6: もし仮にその正意が大差無いが野次でないとすればこのジュラバは大差無い fact7: 仮に「転倒するということはない」物があるとしたらその正意は大差無い fact8: あの高周波ソードはスポーツマンらしいしおまけにランチ会議だ fact9: もし仮にとある物は転倒しないならば「歌劇団であるし野次でない」ということは成り立たない fact10: その車重は歌劇団だ fact11: その心房筋は歌劇団だ fact12: もしもこのジュラバは歌劇団であるとすれば「その心房筋は転倒する」ということは正しい fact13: その車重はスポーツマンらしいがそれは退職でない fact14: もしも「このジュラバは歌劇団である」ということは正しいとすると「その心房筋は転倒しない」ということは本当である fact15: もしその車重がスポーツマンらしいけれど退職でないとするとその正意はスポーツマンらしい fact16: このジュラバは歌劇団であるか野次だということはない fact17: もしもその前書きがスポーツマンらしいとすればそれは理屈っぽい fact18: その車重は歌劇団であるがそれは退職であるということはない fact19: もしもなにがしかの物が大差無いとしたらそれは退職だ fact20: その車重は退職だということはない fact21: この授産活動はスポーツマンらしい fact22: もしも何らかのものは歌劇団でないとすると「「冷え易くてスポーツマンらしい」ということは確かだ」ということは事実と異なる fact23: 仮にその車重が退職であるがしかし転倒するということはないとするとその心房筋は退職である
fact16 & fact14 & fact5 -> int1: その心房筋は転倒しない; int1 -> int2: 「転倒しない」物はある; int2 & fact7 -> int3: その正意は大差無い; fact3 -> int4: もし仮にその正意が大差無いとすればそれは冷え易い; int3 & int4 -> int5: その正意は冷え易い; fact15 & fact13 -> int6: その正意はスポーツマンらしい; int5 & int6 -> hypothesis;
「その正意は冷え易いしまたスポーツマンらしい」ということは成り立たない
fact25 -> int7: 仮にその正意は歌劇団でないとすると「冷え易いしそれにスポーツマンらしい」ということは間違っている; fact24 -> int8: 仮にこのジュラバは転倒しないとすれば「歌劇団だがしかし野次でない」ということは間違っている;
$facts$ = fact1: もし仮にその車重がスポーツマンらしいしさらに退職であるとしたら「その正意はスポーツマンらしい」ということは確かだ fact2: なにがしかの物は転倒する fact3: 大差無いものは冷え易い fact4: その車重は野次でない fact5: 仮にこのジュラバが野次でないならその心房筋は転倒しない fact6: もし仮にその正意が大差無いが野次でないとすればこのジュラバは大差無い fact7: 仮に「転倒するということはない」物があるとしたらその正意は大差無い fact8: あの高周波ソードはスポーツマンらしいしおまけにランチ会議だ fact9: もし仮にとある物は転倒しないならば「歌劇団であるし野次でない」ということは成り立たない fact10: その車重は歌劇団だ fact11: その心房筋は歌劇団だ fact12: もしもこのジュラバは歌劇団であるとすれば「その心房筋は転倒する」ということは正しい fact13: その車重はスポーツマンらしいがそれは退職でない fact14: もしも「このジュラバは歌劇団である」ということは正しいとすると「その心房筋は転倒しない」ということは本当である fact15: もしその車重がスポーツマンらしいけれど退職でないとするとその正意はスポーツマンらしい fact16: このジュラバは歌劇団であるか野次だということはない fact17: もしもその前書きがスポーツマンらしいとすればそれは理屈っぽい fact18: その車重は歌劇団であるがそれは退職であるということはない fact19: もしもなにがしかの物が大差無いとしたらそれは退職だ fact20: その車重は退職だということはない fact21: この授産活動はスポーツマンらしい fact22: もしも何らかのものは歌劇団でないとすると「「冷え易くてスポーツマンらしい」ということは確かだ」ということは事実と異なる fact23: 仮にその車重が退職であるがしかし転倒するということはないとするとその心房筋は退職である ; $hypothesis$ = 「その正意は冷え易いしまたスポーツマンらしい」ということは間違いである ; $proof$ = 
fact16 & fact14 & fact5 -> int1: その心房筋は転倒しない; int1 -> int2: 「転倒しない」物はある; int2 & fact7 -> int3: その正意は大差無い; fact3 -> int4: もし仮にその正意が大差無いとすればそれは冷え易い; int3 & int4 -> int5: その正意は冷え易い; fact15 & fact13 -> int6: その正意はスポーツマンらしい; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にその車重がスポーツマンらしいしさらに退職であるとしたら「その正意はスポーツマンらしい」ということは確かだ
事実2: なにがしかの物は転倒する
事実3: 大差無いものは冷え易い
事実4: その車重は野次でない
事実5: 仮にこのジュラバが野次でないならその心房筋は転倒しない
事実6: もし仮にその正意が大差無いが野次でないとすればこのジュラバは大差無い
事実7: 仮に「転倒するということはない」物があるとしたらその正意は大差無い
事実8: あの高周波ソードはスポーツマンらしいしおまけにランチ会議だ
事実9: もし仮にとある物は転倒しないならば「歌劇団であるし野次でない」ということは成り立たない
事実10: その車重は歌劇団だ
事実11: その心房筋は歌劇団だ
事実12: もしもこのジュラバは歌劇団であるとすれば「その心房筋は転倒する」ということは正しい
事実13: その車重はスポーツマンらしいがそれは退職でない
事実14: もしも「このジュラバは歌劇団である」ということは正しいとすると「その心房筋は転倒しない」ということは本当である
事実15: もしその車重がスポーツマンらしいけれど退職でないとするとその正意はスポーツマンらしい
事実16: このジュラバは歌劇団であるか野次だということはない
事実17: もしもその前書きがスポーツマンらしいとすればそれは理屈っぽい
事実18: その車重は歌劇団であるがそれは退職であるということはない
事実19: もしもなにがしかの物が大差無いとしたらそれは退職だ
事実20: その車重は退職だということはない
事実21: この授産活動はスポーツマンらしい
事実22: もしも何らかのものは歌劇団でないとすると「「冷え易くてスポーツマンらしい」ということは確かだ」ということは事実と異なる
事実23: 仮にその車重が退職であるがしかし転倒するということはないとするとその心房筋は退職である

仮説: 「その正意は冷え易いしまたスポーツマンらしい」ということは間違いである
1. 事実16と事実14と事実5から、推論1: "その心房筋は転倒しない"が導かれる
2. 推論1から、推論2: "「転倒しない」物はある"が導かれる
3. 推論2と事実7から、推論3: "その正意は大差無い"が導かれる
4. 事実3から、推論4: "もし仮にその正意が大差無いとすればそれは冷え易い"が導かれる
5. 推論3と推論4から、推論5: "その正意は冷え易い"が導かれる
6. 事実15と事実13から、推論6: "その正意はスポーツマンらしい"が導かれる
7. 推論5と推論6から、仮説が否定される

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