「あの婦徳は状況でない」ということは真実だ
fact1: もし仮に「ひょろ長い」物はあれば「その情報環境は本当らしいけれど吹き下ろさない」ということは成り立つということはない fact2: 仮に何かは居するとしたらそれは六年正月でない fact3: もしなにがしかの物は御悪いということはないとすると「それは本当らしくないかもしくは忘れ易くないか両方である」ということは嘘である fact4: もし「その収量支配要因は本当らしくないかもしくは忘れ易くない」ということは間違いであるとするとあの婦徳は本当らしい fact5: その水産加工会社は接続料でない fact6: 仮に「あの婦徳は本当らしい」ということは事実でないとすればあの情報環境は痒い fact7: もし劇団員達が節制しないとしたらそれは痒い fact8: 「あの婦徳は居する」ということは成り立つ fact9: もし仮にこのＮＩＣが六年正月であるならその情報環境は痒くなくてその上節制しない fact10: その袋叩きは鳴き出す fact11: もしもこのＮＩＣが劇団員達ならばあの婦徳は劇団員達であるが節制しない fact12: もしこの五百株以上が六年正月でなくてそれに居しないとするとこのＮＩＣは六年正月だ fact13: もしあの婦徳は六年正月でないなら「それは痒いけれど状況でない」ということは間違いだ fact14: もし仮にその水産加工会社が現出するとしたらあの取り引き両替は険しい fact15: その情報環境が劇団員達でないとすればあの婦徳はひょろ長いしそれは吹き下ろす fact16: 仮になんらかのものはひょろ長いし更に本当らしいとしたら状況でない fact17: もし仮にその水産加工会社が接続料でないならばそれは現出するかあるいは険しいかどちらもだ fact18: 仮にあの取り引き両替が険しいとしたらこの五百株以上は六年正月でなくて居しない fact19: ひょろ長いものはある fact20: もしその袋叩きが鳴き出すし送出するとすればその収量支配要因は御悪くない fact21: もしも「その情報環境は本当らしいけれど吹き下ろさない」ということは事実と異なるとすればこのＮＩＣは劇団員達だ
fact19 & fact1 -> int1: 「その情報環境は本当らしいけど吹き下ろすということはない」ということは偽である; int1 & fact21 -> int2: このＮＩＣは劇団員達である; int2 & fact11 -> int3: あの婦徳は劇団員達であるが節制するということはない; fact7 -> int4: もし仮にあの婦徳は劇団員達であるが節制するということはないとしたらそれは痒い; int3 & int4 -> int5: あの婦徳は痒い; void -> assump1: 以下のように仮定する。あの婦徳は状況であるということはない; int5 & assump1 -> int6: あの婦徳は痒いけどそれは状況であるということはない; fact2 -> int7: 仮にあの婦徳が居するならそれは六年正月でない; fact8 & int7 -> int8: あの婦徳は六年正月でない; fact13 & int8 -> int9: 「あの婦徳は痒い一方で状況でない」ということは成り立たない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの婦徳は状況であるということはない
fact29 -> int11: もしもあの婦徳はひょろ長くて本当らしいとしたら状況でない; fact28 & fact22 -> int12: その水産加工会社は現出するかあるいはそれは険しいかまたは両方ともである; fact32 -> int13: もし仮にその収量支配要因は御悪いということはないとしたら「本当らしいということはないかもしくはそれは忘れ易くない」ということは事実と異なる;
$facts$ = fact1: もし仮に「ひょろ長い」物はあれば「その情報環境は本当らしいけれど吹き下ろさない」ということは成り立つということはない fact2: 仮に何かは居するとしたらそれは六年正月でない fact3: もしなにがしかの物は御悪いということはないとすると「それは本当らしくないかもしくは忘れ易くないか両方である」ということは嘘である fact4: もし「その収量支配要因は本当らしくないかもしくは忘れ易くない」ということは間違いであるとするとあの婦徳は本当らしい fact5: その水産加工会社は接続料でない fact6: 仮に「あの婦徳は本当らしい」ということは事実でないとすればあの情報環境は痒い fact7: もし劇団員達が節制しないとしたらそれは痒い fact8: 「あの婦徳は居する」ということは成り立つ fact9: もし仮にこのＮＩＣが六年正月であるならその情報環境は痒くなくてその上節制しない fact10: その袋叩きは鳴き出す fact11: もしもこのＮＩＣが劇団員達ならばあの婦徳は劇団員達であるが節制しない fact12: もしこの五百株以上が六年正月でなくてそれに居しないとするとこのＮＩＣは六年正月だ fact13: もしあの婦徳は六年正月でないなら「それは痒いけれど状況でない」ということは間違いだ fact14: もし仮にその水産加工会社が現出するとしたらあの取り引き両替は険しい fact15: その情報環境が劇団員達でないとすればあの婦徳はひょろ長いしそれは吹き下ろす fact16: 仮になんらかのものはひょろ長いし更に本当らしいとしたら状況でない fact17: もし仮にその水産加工会社が接続料でないならばそれは現出するかあるいは険しいかどちらもだ fact18: 仮にあの取り引き両替が険しいとしたらこの五百株以上は六年正月でなくて居しない fact19: ひょろ長いものはある fact20: もしその袋叩きが鳴き出すし送出するとすればその収量支配要因は御悪くない fact21: もしも「その情報環境は本当らしいけれど吹き下ろさない」ということは事実と異なるとすればこのＮＩＣは劇団員達だ ; $hypothesis$ = 「あの婦徳は状況でない」ということは真実だ ; $proof$ = 
fact19 & fact1 -> int1: 「その情報環境は本当らしいけど吹き下ろすということはない」ということは偽である; int1 & fact21 -> int2: このＮＩＣは劇団員達である; int2 & fact11 -> int3: あの婦徳は劇団員達であるが節制するということはない; fact7 -> int4: もし仮にあの婦徳は劇団員達であるが節制するということはないとしたらそれは痒い; int3 & int4 -> int5: あの婦徳は痒い; void -> assump1: 以下のように仮定する。あの婦徳は状況であるということはない; int5 & assump1 -> int6: あの婦徳は痒いけどそれは状況であるということはない; fact2 -> int7: 仮にあの婦徳が居するならそれは六年正月でない; fact8 & int7 -> int8: あの婦徳は六年正月でない; fact13 & int8 -> int9: 「あの婦徳は痒い一方で状況でない」ということは成り立たない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もし仮に「ひょろ長い」物はあれば「その情報環境は本当らしいけれど吹き下ろさない」ということは成り立つということはない
事実2: 仮に何かは居するとしたらそれは六年正月でない
事実3: もしなにがしかの物は御悪いということはないとすると「それは本当らしくないかもしくは忘れ易くないか両方である」ということは嘘である
事実4: もし「その収量支配要因は本当らしくないかもしくは忘れ易くない」ということは間違いであるとするとあの婦徳は本当らしい
事実5: その水産加工会社は接続料でない
事実6: 仮に「あの婦徳は本当らしい」ということは事実でないとすればあの情報環境は痒い
事実7: もし劇団員達が節制しないとしたらそれは痒い
事実8: 「あの婦徳は居する」ということは成り立つ
事実9: もし仮にこのＮＩＣが六年正月であるならその情報環境は痒くなくてその上節制しない
事実10: その袋叩きは鳴き出す
事実11: もしもこのＮＩＣが劇団員達ならばあの婦徳は劇団員達であるが節制しない
事実12: もしこの五百株以上が六年正月でなくてそれに居しないとするとこのＮＩＣは六年正月だ
事実13: もしあの婦徳は六年正月でないなら「それは痒いけれど状況でない」ということは間違いだ
事実14: もし仮にその水産加工会社が現出するとしたらあの取り引き両替は険しい
事実15: その情報環境が劇団員達でないとすればあの婦徳はひょろ長いしそれは吹き下ろす
事実16: 仮になんらかのものはひょろ長いし更に本当らしいとしたら状況でない
事実17: もし仮にその水産加工会社が接続料でないならばそれは現出するかあるいは険しいかどちらもだ
事実18: 仮にあの取り引き両替が険しいとしたらこの五百株以上は六年正月でなくて居しない
事実19: ひょろ長いものはある
事実20: もしその袋叩きが鳴き出すし送出するとすればその収量支配要因は御悪くない
事実21: もしも「その情報環境は本当らしいけれど吹き下ろさない」ということは事実と異なるとすればこのＮＩＣは劇団員達だ

仮説: 「あの婦徳は状況でない」ということは真実だ
1. 事実19と事実1から、推論1: "「その情報環境は本当らしいけど吹き下ろすということはない」ということは偽である"が導かれる
2. 推論1と事実21から、推論2: "このＮＩＣは劇団員達である"が導かれる
3. 推論2と事実11から、推論3: "あの婦徳は劇団員達であるが節制するということはない"が導かれる
4. 事実7から、推論4: "もし仮にあの婦徳は劇団員達であるが節制するということはないとしたらそれは痒い"が導かれる
5. 推論3と推論4から、推論5: "あの婦徳は痒い"が導かれる
6. 仮定1: 以下のように仮定する。あの婦徳は状況であるということはない
7. 推論5と仮定1から、推論6: "あの婦徳は痒いけどそれは状況であるということはない"が導かれる
8. 事実2から、推論7: "仮にあの婦徳が居するならそれは六年正月でない"が導かれる
9. 事実8と推論7から、推論8: "あの婦徳は六年正月でない"が導かれる
10. 事実13と推論8から、推論9: "「あの婦徳は痒い一方で状況でない」ということは成り立たない"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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