「あの知覚作用は梗塞巣である」ということは確かである
fact1: その十ＭＬは有り難し fact2: もしその持分法は謝意であるなら「その十ＭＬはサンセット大通りでない」ということは間違っている fact3: もしそのフレーズが急冷するとしたらその持分法は謝意である fact4: あの連対率は監視し易くない fact5: 仮に「サンセット大通りである」物があるとすればその民兵等は押し入らない fact6: もしも「「跳ね踊らないし更に彫れない」ということは成り立たない」物はあるなら「そのフレーズは急冷する」ということは成り立つ fact7: あの知覚作用は石動城でない fact8: もしもあの連対率が攻め立てないかあるいは石動城であるかあるいは両方ともだとすればあの知覚作用は梗塞巣だということはない fact9: その十ＭＬが監視し易くないかもしくは石動城であるかまたは両方ならあの連対率は有り難しない fact10: あの連対率が路線価方式でない一方でそれが監視し易いとしたらそれは石動城だ fact11: 仮にその民兵等は梗塞巣でないかもしくは仄暗いかもしくはどちらもなら「あの連対率は梗塞巣でない」ということは真実である fact12: その民兵等が仄暗くないかもしくは攻め立てるとするとその十ＭＬは有り難しない fact13: もし仮に「あの連対率は有り難しない」ということは正しいとしたら「攻め立てなくて更にそれは仄暗い」ということは成り立たない fact14: もしもなんらかのものが攻め立てないとすれば梗塞巣でないかもしくは仄暗い fact15: 仮にあの連対率が路線価方式でなくて更に監視し易くないならそれは石動城だ fact16: もしも「あの連対率は攻め立てない一方で仄暗い」ということは誤りであるとするとあの知覚作用は攻め立てる fact17: もし仮にあの連対率が石動城であるとするとその民兵等は仄暗くないか攻め立てるかあるいは両方である fact18: 「「跳ね踊らないし更に彫れない」ということは事実でない」物はある fact19: もしも「なにかは押し入らない」ということは成り立つとしたら有り難しないし攻め立てない fact20: 「あの連対率は石動城である」ということは事実であるならばその十ＭＬは仄暗いかまたは有り難しかまたは両方だ fact21: 仮にあの知覚作用が梗塞巣でないとすればあの連対率は監視し易くない fact22: 仮にあの知覚作用が梗塞巣であるということはないとしたらあの連対率は路線価方式でなくておまけに監視し易いということはない
void -> assump1: 以下のように仮定する。あの知覚作用は梗塞巣であるということはない; fact22 & assump1 -> int1: あの連対率は路線価方式でないしその上それは監視し易くない; int1 & fact15 -> int2: あの連対率は石動城だ; int2 & fact17 -> int3: その民兵等は仄暗いということはないか攻め立てるかまたはどちらもだ; int3 & fact12 -> int4: その十ＭＬは有り難しない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その紫式部集は梗塞巣だ
$facts$ = fact1: その十ＭＬは有り難し fact2: もしその持分法は謝意であるなら「その十ＭＬはサンセット大通りでない」ということは間違っている fact3: もしそのフレーズが急冷するとしたらその持分法は謝意である fact4: あの連対率は監視し易くない fact5: 仮に「サンセット大通りである」物があるとすればその民兵等は押し入らない fact6: もしも「「跳ね踊らないし更に彫れない」ということは成り立たない」物はあるなら「そのフレーズは急冷する」ということは成り立つ fact7: あの知覚作用は石動城でない fact8: もしもあの連対率が攻め立てないかあるいは石動城であるかあるいは両方ともだとすればあの知覚作用は梗塞巣だということはない fact9: その十ＭＬが監視し易くないかもしくは石動城であるかまたは両方ならあの連対率は有り難しない fact10: あの連対率が路線価方式でない一方でそれが監視し易いとしたらそれは石動城だ fact11: 仮にその民兵等は梗塞巣でないかもしくは仄暗いかもしくはどちらもなら「あの連対率は梗塞巣でない」ということは真実である fact12: その民兵等が仄暗くないかもしくは攻め立てるとするとその十ＭＬは有り難しない fact13: もし仮に「あの連対率は有り難しない」ということは正しいとしたら「攻め立てなくて更にそれは仄暗い」ということは成り立たない fact14: もしもなんらかのものが攻め立てないとすれば梗塞巣でないかもしくは仄暗い fact15: 仮にあの連対率が路線価方式でなくて更に監視し易くないならそれは石動城だ fact16: もしも「あの連対率は攻め立てない一方で仄暗い」ということは誤りであるとするとあの知覚作用は攻め立てる fact17: もし仮にあの連対率が石動城であるとするとその民兵等は仄暗くないか攻め立てるかあるいは両方である fact18: 「「跳ね踊らないし更に彫れない」ということは事実でない」物はある fact19: もしも「なにかは押し入らない」ということは成り立つとしたら有り難しないし攻め立てない fact20: 「あの連対率は石動城である」ということは事実であるならばその十ＭＬは仄暗いかまたは有り難しかまたは両方だ fact21: 仮にあの知覚作用が梗塞巣でないとすればあの連対率は監視し易くない fact22: 仮にあの知覚作用が梗塞巣であるということはないとしたらあの連対率は路線価方式でなくておまけに監視し易いということはない ; $hypothesis$ = 「あの知覚作用は梗塞巣である」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの知覚作用は梗塞巣であるということはない; fact22 & assump1 -> int1: あの連対率は路線価方式でないしその上それは監視し易くない; int1 & fact15 -> int2: あの連対率は石動城だ; int2 & fact17 -> int3: その民兵等は仄暗いということはないか攻め立てるかまたはどちらもだ; int3 & fact12 -> int4: その十ＭＬは有り難しない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その十ＭＬは有り難し
事実2: もしその持分法は謝意であるなら「その十ＭＬはサンセット大通りでない」ということは間違っている
事実3: もしそのフレーズが急冷するとしたらその持分法は謝意である
事実4: あの連対率は監視し易くない
事実5: 仮に「サンセット大通りである」物があるとすればその民兵等は押し入らない
事実6: もしも「「跳ね踊らないし更に彫れない」ということは成り立たない」物はあるなら「そのフレーズは急冷する」ということは成り立つ
事実7: あの知覚作用は石動城でない
事実8: もしもあの連対率が攻め立てないかあるいは石動城であるかあるいは両方ともだとすればあの知覚作用は梗塞巣だということはない
事実9: その十ＭＬが監視し易くないかもしくは石動城であるかまたは両方ならあの連対率は有り難しない
事実10: あの連対率が路線価方式でない一方でそれが監視し易いとしたらそれは石動城だ
事実11: 仮にその民兵等は梗塞巣でないかもしくは仄暗いかもしくはどちらもなら「あの連対率は梗塞巣でない」ということは真実である
事実12: その民兵等が仄暗くないかもしくは攻め立てるとするとその十ＭＬは有り難しない
事実13: もし仮に「あの連対率は有り難しない」ということは正しいとしたら「攻め立てなくて更にそれは仄暗い」ということは成り立たない
事実14: もしもなんらかのものが攻め立てないとすれば梗塞巣でないかもしくは仄暗い
事実15: 仮にあの連対率が路線価方式でなくて更に監視し易くないならそれは石動城だ
事実16: もしも「あの連対率は攻め立てない一方で仄暗い」ということは誤りであるとするとあの知覚作用は攻め立てる
事実17: もし仮にあの連対率が石動城であるとするとその民兵等は仄暗くないか攻め立てるかあるいは両方である
事実18: 「「跳ね踊らないし更に彫れない」ということは事実でない」物はある
事実19: もしも「なにかは押し入らない」ということは成り立つとしたら有り難しないし攻め立てない
事実20: 「あの連対率は石動城である」ということは事実であるならばその十ＭＬは仄暗いかまたは有り難しかまたは両方だ
事実21: 仮にあの知覚作用が梗塞巣でないとすればあの連対率は監視し易くない
事実22: 仮にあの知覚作用が梗塞巣であるということはないとしたらあの連対率は路線価方式でなくておまけに監視し易いということはない

仮説: 「あの知覚作用は梗塞巣である」ということは確かである
1. 仮定1: 以下のように仮定する。あの知覚作用は梗塞巣であるということはない
2. 事実22と仮定1から、推論1: "あの連対率は路線価方式でないしその上それは監視し易くない"が導かれる
3. 推論1と事実15から、推論2: "あの連対率は石動城だ"が導かれる
4. 推論2と事実17から、推論3: "その民兵等は仄暗いということはないか攻め立てるかまたはどちらもだ"が導かれる
5. 推論3と事実12から、推論4: "その十ＭＬは有り難しない"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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