そのミセス・バントリーは戦域であるしそれは気持ち良い
fact1: もしそのミセス・バントリーが苦情解決であるということはないならばそのペンＴＡミートンは空格でないししかも気持ち良くない fact2: 仮にあの流量が苦情解決で出願状況であるならあの言行録は出願状況でない fact3: もし「そのキャビネットは照らない」ということは成り立つとすればあの流量は電磁放射線だ fact4: もしあの言行録が断定し難くないならそのミセス・バントリーは空格であるしおまけに戦域だ fact5: あの流量は苦情解決であるしかつそれは出願状況だ fact6: 仮になにがしかの物が戦域でないとすれば乗り難くてまた暑い fact7: もしあの流量が電磁放射線だとしたらそれは三世紀後半でないしさらに甲斐甲斐しい fact8: もし仮に「健康運であるし武家官位叙任だということはない」ものがあればそのミセス・バントリーは苦情解決でない fact9: 「あの止観は空格でない」ということは真実である fact10: もしもとあるものは空格でないとすると「それは出願状況であるけれど断定し難くない」ということは間違っている fact11: あの言行録は溜まり易い fact12: 「なにかは出願状況だ一方で断定し難くない」ということは誤りであるならばそれは戦域でない fact13: そのキャビネットは照らない fact14: なにがしかの物は三世紀後半でないとするとそれは健康運だけれど武家官位叙任でない fact15: もしとあるものは出願状況でないならそれは断定し難くない fact16: 「そのミセス・バントリーは気持ち良い」ということは確かだ
fact15 -> int1: もしあの言行録が出願状況だということはないならばそれは断定し難くない; fact2 & fact5 -> int2: あの言行録は出願状況でない; int1 & int2 -> int3: あの言行録は断定し難いということはない; int3 & fact4 -> int4: そのミセス・バントリーが空格だし戦域だ; int4 -> int5: そのミセス・バントリーは戦域だ; int5 & fact16 -> hypothesis;
そのペンＴＡミートンは乗り難くて暑い
fact25 -> int6: そのペンＴＡミートンは戦域でないならば乗り難くてさらに暑い; fact17 -> int7: もしも「そのペンＴＡミートンは出願状況だが断定し難くない」ということは成り立たないとすれば戦域でない; fact21 -> int8: もしもそのペンＴＡミートンは空格でないならば「出願状況であるしそれは断定し難くない」ということは成り立たない; fact22 -> int9: もしも「あの流量は三世紀後半であるということはない」ということは本当であるとすればそれは健康運であるしかつそれは武家官位叙任でない; fact20 & fact19 -> int10: あの流量は電磁放射線である; fact18 & int10 -> int11: あの流量は三世紀後半でないがしかし甲斐甲斐しい; int11 -> int12: あの流量は三世紀後半でない; int9 & int12 -> int13: あの流量は健康運であるがしかし武家官位叙任でない; int13 -> int14: 「健康運だし武家官位叙任でない」ものはある; int14 & fact23 -> int15: そのミセス・バントリーは苦情解決でない; fact24 & int15 -> int16: そのペンＴＡミートンは空格でないし気持ち良くない; int16 -> int17: そのペンＴＡミートンは空格でない; int8 & int17 -> int18: 「そのペンＴＡミートンは出願状況であるけど断定し難くない」ということは嘘だ; int7 & int18 -> int19: そのペンＴＡミートンは戦域でない; int6 & int19 -> hypothesis;
$facts$ = fact1: もしそのミセス・バントリーが苦情解決であるということはないならばそのペンＴＡミートンは空格でないししかも気持ち良くない fact2: 仮にあの流量が苦情解決で出願状況であるならあの言行録は出願状況でない fact3: もし「そのキャビネットは照らない」ということは成り立つとすればあの流量は電磁放射線だ fact4: もしあの言行録が断定し難くないならそのミセス・バントリーは空格であるしおまけに戦域だ fact5: あの流量は苦情解決であるしかつそれは出願状況だ fact6: 仮になにがしかの物が戦域でないとすれば乗り難くてまた暑い fact7: もしあの流量が電磁放射線だとしたらそれは三世紀後半でないしさらに甲斐甲斐しい fact8: もし仮に「健康運であるし武家官位叙任だということはない」ものがあればそのミセス・バントリーは苦情解決でない fact9: 「あの止観は空格でない」ということは真実である fact10: もしもとあるものは空格でないとすると「それは出願状況であるけれど断定し難くない」ということは間違っている fact11: あの言行録は溜まり易い fact12: 「なにかは出願状況だ一方で断定し難くない」ということは誤りであるならばそれは戦域でない fact13: そのキャビネットは照らない fact14: なにがしかの物は三世紀後半でないとするとそれは健康運だけれど武家官位叙任でない fact15: もしとあるものは出願状況でないならそれは断定し難くない fact16: 「そのミセス・バントリーは気持ち良い」ということは確かだ ; $hypothesis$ = そのミセス・バントリーは戦域であるしそれは気持ち良い ; $proof$ = 
fact15 -> int1: もしあの言行録が出願状況だということはないならばそれは断定し難くない; fact2 & fact5 -> int2: あの言行録は出願状況でない; int1 & int2 -> int3: あの言行録は断定し難いということはない; int3 & fact4 -> int4: そのミセス・バントリーが空格だし戦域だ; int4 -> int5: そのミセス・バントリーは戦域だ; int5 & fact16 -> hypothesis; __PROVED__
事実1: もしそのミセス・バントリーが苦情解決であるということはないならばそのペンＴＡミートンは空格でないししかも気持ち良くない
事実2: 仮にあの流量が苦情解決で出願状況であるならあの言行録は出願状況でない
事実3: もし「そのキャビネットは照らない」ということは成り立つとすればあの流量は電磁放射線だ
事実4: もしあの言行録が断定し難くないならそのミセス・バントリーは空格であるしおまけに戦域だ
事実5: あの流量は苦情解決であるしかつそれは出願状況だ
事実6: 仮になにがしかの物が戦域でないとすれば乗り難くてまた暑い
事実7: もしあの流量が電磁放射線だとしたらそれは三世紀後半でないしさらに甲斐甲斐しい
事実8: もし仮に「健康運であるし武家官位叙任だということはない」ものがあればそのミセス・バントリーは苦情解決でない
事実9: 「あの止観は空格でない」ということは真実である
事実10: もしもとあるものは空格でないとすると「それは出願状況であるけれど断定し難くない」ということは間違っている
事実11: あの言行録は溜まり易い
事実12: 「なにかは出願状況だ一方で断定し難くない」ということは誤りであるならばそれは戦域でない
事実13: そのキャビネットは照らない
事実14: なにがしかの物は三世紀後半でないとするとそれは健康運だけれど武家官位叙任でない
事実15: もしとあるものは出願状況でないならそれは断定し難くない
事実16: 「そのミセス・バントリーは気持ち良い」ということは確かだ

仮説: そのミセス・バントリーは戦域であるしそれは気持ち良い
1. 事実15から、推論1: "もしあの言行録が出願状況だということはないならばそれは断定し難くない"が導かれる
2. 事実2と事実5から、推論2: "あの言行録は出願状況でない"が導かれる
3. 推論1と推論2から、推論3: "あの言行録は断定し難いということはない"が導かれる
4. 推論3と事実4から、推論4: "そのミセス・バントリーが空格だし戦域だ"が導かれる
5. 推論4から、推論5: "そのミセス・バントリーは戦域だ"が導かれる
6. 推論5と事実16から、仮説が導かれる

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