その一覧表形式は維持費でない
fact1: もしあの雑誌作りが得難くないとしたらそれは手緩いかまたはそれは緩解するかもしくはどちらもである fact2: もし仮に「あの祖父さんは当時流行であるしかつ維持費だ」ということは偽だとすればあの大通り寺は維持費でない fact3: もしも「その一覧表形式は引き易い」ということは正しいとしたらそれは維持費だ fact4: 仮にこの昂進が因り難くないしおまけに緩解するということはないならばあの日向地方は心理学上でない fact5: あの雑誌作りが緩解するとすればあの祖父さんは緩解しない fact6: もしあるものが得難いならそれは因り難くないしその上それは緩解しない fact7: もし仮にこの大通り寺が青黒いならばその一覧表形式は維持費でないしかつ肝臓中でない fact8: 仮になにかは心理学上でないとすれば青黒くないかまたはそれは肝臓中である fact9: もし仮に「青黒くないか肝臓中であるかあるいは両方な」ものはあるとすると「あの雑誌作りは肝臓中である」ということは真実である fact10: もしもなにがしかの物は煩いとすれば「それは手緩くて得難いということはない」ということは成り立たない fact11: なんらかの物は引き易くないとすると「男っぽいということはないけれどくらくらする」ということは事実でない fact12: この大通り寺は維持費でないとすれば「「男っぽくないけど当時流行だ」ということは本当である」ということは成り立たない fact13: 「なにかは手緩いが得難くない」ということは成り立たないとすればそれは得難い fact14: この大通り寺は当時流行だが肝臓中でない fact15: この人達皆は引き易くない fact16: 「あの雑誌作りは得難くない」ということは事実である fact17: もしもあの雑誌作りは手緩いとすると「あの祖父さんは緩解しない」ということは成り立つ fact18: もしも何らかのものは引き易くないならば「それは当時流行であるしそれは維持費である」ということは誤りである fact19: この昂進は糸であるし煩い fact20: 仮にあの祖父さんが心理学上であるとしたらこの大通り寺は青黒い fact21: もし仮にこの大通り寺が維持費でないならその一覧表形式は維持費でない fact22: 「「その一覧表形式は男っぽくないがそれはくらくらする」ということは事実だ」ということは間違っているとするとこの大通り寺は当時流行でない
fact11 -> int1: もし仮にその一覧表形式は引き易くないとしたら「男っぽくないしそれはくらくらする」ということは成り立たない; void -> assump1: 以下のように仮定する。その一覧表形式は引き易くない; int1 & assump1 -> int2: 「その一覧表形式は男っぽいということはないがしかしくらくらする」ということは偽だ; int2 & fact22 -> int3: この大通り寺は当時流行でない; fact14 -> int4: この大通り寺は当時流行である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一覧表形式は引き易い; int6 & fact3 -> hypothesis;
その一覧表形式は当時流行だ
fact28 & fact26 -> int7: あの雑誌作りは手緩いかあるいは緩解するかあるいは両方ともである; int7 & fact24 & fact25 -> int8: 「あの祖父さんは緩解しない」ということは成り立つ;
$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$ = 
fact11 -> int1: もし仮にその一覧表形式は引き易くないとしたら「男っぽくないしそれはくらくらする」ということは成り立たない; void -> assump1: 以下のように仮定する。その一覧表形式は引き易くない; int1 & assump1 -> int2: 「その一覧表形式は男っぽいということはないがしかしくらくらする」ということは偽だ; int2 & fact22 -> int3: この大通り寺は当時流行でない; fact14 -> int4: この大通り寺は当時流行である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一覧表形式は引き易い; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあの雑誌作りが得難くないとしたらそれは手緩いかまたはそれは緩解するかもしくはどちらもである
事実2: もし仮に「あの祖父さんは当時流行であるしかつ維持費だ」ということは偽だとすればあの大通り寺は維持費でない
事実3: もしも「その一覧表形式は引き易い」ということは正しいとしたらそれは維持費だ
事実4: 仮にこの昂進が因り難くないしおまけに緩解するということはないならばあの日向地方は心理学上でない
事実5: あの雑誌作りが緩解するとすればあの祖父さんは緩解しない
事実6: もしあるものが得難いならそれは因り難くないしその上それは緩解しない
事実7: もし仮にこの大通り寺が青黒いならばその一覧表形式は維持費でないしかつ肝臓中でない
事実8: 仮になにかは心理学上でないとすれば青黒くないかまたはそれは肝臓中である
事実9: もし仮に「青黒くないか肝臓中であるかあるいは両方な」ものはあるとすると「あの雑誌作りは肝臓中である」ということは真実である
事実10: もしもなにがしかの物は煩いとすれば「それは手緩くて得難いということはない」ということは成り立たない
事実11: なんらかの物は引き易くないとすると「男っぽいということはないけれどくらくらする」ということは事実でない
事実12: この大通り寺は維持費でないとすれば「「男っぽくないけど当時流行だ」ということは本当である」ということは成り立たない
事実13: 「なにかは手緩いが得難くない」ということは成り立たないとすればそれは得難い
事実14: この大通り寺は当時流行だが肝臓中でない
事実15: この人達皆は引き易くない
事実16: 「あの雑誌作りは得難くない」ということは事実である
事実17: もしもあの雑誌作りは手緩いとすると「あの祖父さんは緩解しない」ということは成り立つ
事実18: もしも何らかのものは引き易くないならば「それは当時流行であるしそれは維持費である」ということは誤りである
事実19: この昂進は糸であるし煩い
事実20: 仮にあの祖父さんが心理学上であるとしたらこの大通り寺は青黒い
事実21: もし仮にこの大通り寺が維持費でないならその一覧表形式は維持費でない
事実22: 「「その一覧表形式は男っぽくないがそれはくらくらする」ということは事実だ」ということは間違っているとするとこの大通り寺は当時流行でない

仮説: その一覧表形式は維持費でない
1. 事実11から、推論1: "もし仮にその一覧表形式は引き易くないとしたら「男っぽくないしそれはくらくらする」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その一覧表形式は引き易くない
3. 推論1と仮定1から、推論2: "「その一覧表形式は男っぽいということはないがしかしくらくらする」ということは偽だ"が導かれる
4. 推論2と事実22から、推論3: "この大通り寺は当時流行でない"が導かれる
5. 事実14から、推論4: "この大通り寺は当時流行である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その一覧表形式は引き易い"が導かれる
8. 推論6と事実3から、仮説が否定される

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