あの竹内文書は公布するしかつ散大する
fact1: あの竹内文書が素っ気なくないならばそれは散大するしまた資本主義である fact2: 仮にこのスカイは清いなら「この筆記体は時代背景でない一方で排す」ということは間違いだ fact3: 仮にその外洋は素っ気なくないなら「あの竹内文書は公布するしおまけに散大する」ということは成り立たない fact4: もし仮にあのモニタリングモデルは時代背景でないとしたらそれは公布するということはない fact5: あの竹内文書は素っ気なくない fact6: もしもこのスカイがころころするとすると清い fact7: あの竹内文書は公布するし排す fact8: もしもこのスカイが思慮深いならばころころする
fact1 & fact5 -> int1: あの竹内文書は散大するしその上資本主義だ; int1 -> int2: あの竹内文書は散大する; fact7 -> int3: あの竹内文書は公布する; int2 & int3 -> hypothesis;
fact1 & fact5 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; fact7 -> int3: {B}{a}; int2 & int3 -> hypothesis;
「あの竹内文書は公布するしその上散大する」ということは成り立たない
$facts$ = fact1: あの竹内文書が素っ気なくないならばそれは散大するしまた資本主義である fact2: 仮にこのスカイは清いなら「この筆記体は時代背景でない一方で排す」ということは間違いだ fact3: 仮にその外洋は素っ気なくないなら「あの竹内文書は公布するしおまけに散大する」ということは成り立たない fact4: もし仮にあのモニタリングモデルは時代背景でないとしたらそれは公布するということはない fact5: あの竹内文書は素っ気なくない fact6: もしもこのスカイがころころするとすると清い fact7: あの竹内文書は公布するし排す fact8: もしもこのスカイが思慮深いならばころころする ; $hypothesis$ = あの竹内文書は公布するしかつ散大する ; $proof$ = 
fact1 & fact5 -> int1: あの竹内文書は散大するしその上資本主義だ; int1 -> int2: あの竹内文書は散大する; fact7 -> int3: あの竹内文書は公布する; int2 & int3 -> hypothesis; __PROVED__
事実1: あの竹内文書が素っ気なくないならばそれは散大するしまた資本主義である
事実2: 仮にこのスカイは清いなら「この筆記体は時代背景でない一方で排す」ということは間違いだ
事実3: 仮にその外洋は素っ気なくないなら「あの竹内文書は公布するしおまけに散大する」ということは成り立たない
事実4: もし仮にあのモニタリングモデルは時代背景でないとしたらそれは公布するということはない
事実5: あの竹内文書は素っ気なくない
事実6: もしもこのスカイがころころするとすると清い
事実7: あの竹内文書は公布するし排す
事実8: もしもこのスカイが思慮深いならばころころする

仮説: あの竹内文書は公布するしかつ散大する
1. 事実1と事実5から、推論1: "あの竹内文書は散大するしその上資本主義だ"が導かれる
2. 推論1から、推論2: "あの竹内文書は散大する"が導かれる
3. 事実7から、推論3: "あの竹内文書は公布する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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