このスプレッドシートは理屈っぽい
fact1: 仮に「この宇土櫓は転倒・転落する」ということは事実ならばそれは女の子らしくないしまたＬＡＮである fact2: もし「「カッターでないがしかし分散配置する」ということは成り立たない」ものがあるとするとこのスプレッドシートはカッターである fact3: もし仮に「このスプレッドシートは理屈っぽい一方でそれは払い終わるということはない」ということは成り立たないとすると「カッターでない」ということは成り立つ fact4: あの仏性が拗れるしまた分散配置するとしたらこのスプレッドシートは進攻しない fact5: 「「カッターでなくて分散配置する」ということは成り立つということはない」物はある fact6: もしも何らかの物は女の子らしくないとすれば「それは段落書式であるしかつ色っぽい」ということは成り立つということはない fact7: もしもあの仏性は拗れないしまた進攻するということはないなら「このスプレッドシートは進攻する」ということは事実だ fact8: 仮にあの内観は祈念しないとすると「それは関係各機関であるかまたはそれは倉庫業者である」ということは誤りである fact9: もしなんらかの物は進攻しないとしたら「カッターだしおまけにそれは理屈っぽい」ということは成り立たない fact10: もしもあの欧州空間が胚胎するならその社会科学研究会は変革す fact11: 「「関係各機関であるかあるいは倉庫業者であるかあるいはどちらもである」ということは真実であるということはない」物があるとしたらこの仕組み作りは疎ましかない fact12: このスプレッドシートは進攻するとすれば「そのフォントコードはカッターであるが聡いということはない」ということは成り立たない fact13: もし仮にその社会科学研究会が青っぽくないとするとその排尿痛は転倒・転落するしまた心許ない fact14: このスプレッドシートはうら若いということはない fact15: もしその排尿痛が転倒・転落するとするとこの宇土櫓は転倒・転落する fact16: もしこの仕組み作りは疎ましくらないとすれば「あの欧州空間は探し歩くし胚胎する」ということは事実である fact17: 何らかの物が変革すなら青っぽくない fact18: あの内観は祈念しない fact19: 「あの四十八ＫＨＺは医療ミスであるが選択され易くない」ということは嘘だ fact20: もし「何かはカッターであるしそれに理屈っぽい」ということは嘘なら「それは理屈っぽくない」ということは真実だ fact21: もしもなんらかの物が分散配置しないなら拗れないしおまけに進攻するということはない
void -> assump1: 以下のように仮定する。「このスプレッドシートは理屈っぽいが払い終わるということはない」ということは成り立たない; fact3 & assump1 -> int1: このスプレッドシートはカッターでない; fact5 & fact2 -> int2: このスプレッドシートはカッターだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このスプレッドシートは理屈っぽいけれど払い終わらない; int4 -> hypothesis;
このスプレッドシートは理屈っぽくない
fact24 -> int5: 仮に「このスプレッドシートはカッターでおまけにそれは理屈っぽい」ということは嘘であるならば理屈っぽくない; fact23 -> int6: もしこのスプレッドシートは進攻しないならば「それはカッターであるし更に理屈っぽい」ということは誤っている;
$facts$ = fact1: 仮に「この宇土櫓は転倒・転落する」ということは事実ならばそれは女の子らしくないしまたＬＡＮである fact2: もし「「カッターでないがしかし分散配置する」ということは成り立たない」ものがあるとするとこのスプレッドシートはカッターである fact3: もし仮に「このスプレッドシートは理屈っぽい一方でそれは払い終わるということはない」ということは成り立たないとすると「カッターでない」ということは成り立つ fact4: あの仏性が拗れるしまた分散配置するとしたらこのスプレッドシートは進攻しない fact5: 「「カッターでなくて分散配置する」ということは成り立つということはない」物はある fact6: もしも何らかの物は女の子らしくないとすれば「それは段落書式であるしかつ色っぽい」ということは成り立つということはない fact7: もしもあの仏性は拗れないしまた進攻するということはないなら「このスプレッドシートは進攻する」ということは事実だ fact8: 仮にあの内観は祈念しないとすると「それは関係各機関であるかまたはそれは倉庫業者である」ということは誤りである fact9: もしなんらかの物は進攻しないとしたら「カッターだしおまけにそれは理屈っぽい」ということは成り立たない fact10: もしもあの欧州空間が胚胎するならその社会科学研究会は変革す fact11: 「「関係各機関であるかあるいは倉庫業者であるかあるいはどちらもである」ということは真実であるということはない」物があるとしたらこの仕組み作りは疎ましかない fact12: このスプレッドシートは進攻するとすれば「そのフォントコードはカッターであるが聡いということはない」ということは成り立たない fact13: もし仮にその社会科学研究会が青っぽくないとするとその排尿痛は転倒・転落するしまた心許ない fact14: このスプレッドシートはうら若いということはない fact15: もしその排尿痛が転倒・転落するとするとこの宇土櫓は転倒・転落する fact16: もしこの仕組み作りは疎ましくらないとすれば「あの欧州空間は探し歩くし胚胎する」ということは事実である fact17: 何らかの物が変革すなら青っぽくない fact18: あの内観は祈念しない fact19: 「あの四十八ＫＨＺは医療ミスであるが選択され易くない」ということは嘘だ fact20: もし「何かはカッターであるしそれに理屈っぽい」ということは嘘なら「それは理屈っぽくない」ということは真実だ fact21: もしもなんらかの物が分散配置しないなら拗れないしおまけに進攻するということはない ; $hypothesis$ = このスプレッドシートは理屈っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。「このスプレッドシートは理屈っぽいが払い終わるということはない」ということは成り立たない; fact3 & assump1 -> int1: このスプレッドシートはカッターでない; fact5 & fact2 -> int2: このスプレッドシートはカッターだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このスプレッドシートは理屈っぽいけれど払い終わらない; int4 -> hypothesis; __PROVED__
事実1: 仮に「この宇土櫓は転倒・転落する」ということは事実ならばそれは女の子らしくないしまたＬＡＮである
事実2: もし「「カッターでないがしかし分散配置する」ということは成り立たない」ものがあるとするとこのスプレッドシートはカッターである
事実3: もし仮に「このスプレッドシートは理屈っぽい一方でそれは払い終わるということはない」ということは成り立たないとすると「カッターでない」ということは成り立つ
事実4: あの仏性が拗れるしまた分散配置するとしたらこのスプレッドシートは進攻しない
事実5: 「「カッターでなくて分散配置する」ということは成り立つということはない」物はある
事実6: もしも何らかの物は女の子らしくないとすれば「それは段落書式であるしかつ色っぽい」ということは成り立つということはない
事実7: もしもあの仏性は拗れないしまた進攻するということはないなら「このスプレッドシートは進攻する」ということは事実だ
事実8: 仮にあの内観は祈念しないとすると「それは関係各機関であるかまたはそれは倉庫業者である」ということは誤りである
事実9: もしなんらかの物は進攻しないとしたら「カッターだしおまけにそれは理屈っぽい」ということは成り立たない
事実10: もしもあの欧州空間が胚胎するならその社会科学研究会は変革す
事実11: 「「関係各機関であるかあるいは倉庫業者であるかあるいはどちらもである」ということは真実であるということはない」物があるとしたらこの仕組み作りは疎ましかない
事実12: このスプレッドシートは進攻するとすれば「そのフォントコードはカッターであるが聡いということはない」ということは成り立たない
事実13: もし仮にその社会科学研究会が青っぽくないとするとその排尿痛は転倒・転落するしまた心許ない
事実14: このスプレッドシートはうら若いということはない
事実15: もしその排尿痛が転倒・転落するとするとこの宇土櫓は転倒・転落する
事実16: もしこの仕組み作りは疎ましくらないとすれば「あの欧州空間は探し歩くし胚胎する」ということは事実である
事実17: 何らかの物が変革すなら青っぽくない
事実18: あの内観は祈念しない
事実19: 「あの四十八ＫＨＺは医療ミスであるが選択され易くない」ということは嘘だ
事実20: もし「何かはカッターであるしそれに理屈っぽい」ということは嘘なら「それは理屈っぽくない」ということは真実だ
事実21: もしもなんらかの物が分散配置しないなら拗れないしおまけに進攻するということはない

仮説: このスプレッドシートは理屈っぽい
1. 仮定1: 以下のように仮定する。「このスプレッドシートは理屈っぽいが払い終わるということはない」ということは成り立たない
2. 事実3と仮定1から、推論1: "このスプレッドシートはカッターでない"が導かれる
3. 事実5と事実2から、推論2: "このスプレッドシートはカッターだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このスプレッドシートは理屈っぽいけれど払い終わらない"が導かれる
6. 推論4から、仮説が導かれる

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