この商品分野は区別する
fact1: なんらかの物はうざいということはない fact2: 「この商品分野はうざいということはない」ということは確かだ fact3: 仮にとあるものが区別すればうざいということはないしかつ夫婦らしくない fact4: もし仮に「なんらかのものは鑑みるということはないかあるいはエクスプレッションであるかあるいは両方ともだ」ということは事実でないならば組織替えしない fact5: もし仮に「うざくないしおまけに夫婦らしくない」ものがあるならあの別居親は虚勢だ fact6: もし仮に何らかのものがうざいけど夫婦らしくないならばあの別居親は虚勢である fact7: 仮にあるものは区別するとするとそれはうざくない fact8: もしもなんらかの物が虚勢ならばそれは区別する fact9: 仮にあの別居親が持ち易いけどエクスプレッションでないならこの商品分野は鑑みない fact10: なにがしかのものはうざいということはないがしかし夫婦らしい fact11: 仮にとあるものが鑑みるということはないとしたらそれは虚勢であり組織替えする fact12: あの別居親はエクスプレッションでない fact13: もしも「あの別居親は甘え声でない」ということは成り立つとすればそれは持ち易くてまたエクスプレッションでない fact14: もしもあの別居親が虚勢だとしたら組織替えする fact15: 「あの別居親は鑑みるということはないかもしくはそれはエクスプレッションであるかあるいはどちらもだ」ということは嘘だ fact16: この商品分野は鑑みる
fact3 -> int1: もしもこの商品分野は区別するとしたらそれはうざくなくてそれに夫婦らしくない; void -> assump1: 以下のように仮定する。この商品分野は区別する; int1 & assump1 -> int2: この商品分野はうざくなくて夫婦らしくない; int2 -> int3: うざくないしその上夫婦らしいないものはある; int3 & fact5 -> int4: あの別居親は虚勢である; int4 & fact14 -> int5: あの別居親は組織替えする; fact4 -> int6: もし「あの別居親は鑑みないかもしくはエクスプレッションであるかもしくは両方である」ということは偽であるなら組織替えするということはない; int6 & fact15 -> int7: あの別居親は組織替えしない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この商品分野は区別する
fact19 -> int9: 「もし仮にこの商品分野が虚勢だとするとこの商品分野は区別する」ということは確かである; fact18 -> int10: もしこの商品分野が鑑みないとすれば虚勢であるし組織替えする;
$facts$ = fact1: なんらかの物はうざいということはない fact2: 「この商品分野はうざいということはない」ということは確かだ fact3: 仮にとあるものが区別すればうざいということはないしかつ夫婦らしくない fact4: もし仮に「なんらかのものは鑑みるということはないかあるいはエクスプレッションであるかあるいは両方ともだ」ということは事実でないならば組織替えしない fact5: もし仮に「うざくないしおまけに夫婦らしくない」ものがあるならあの別居親は虚勢だ fact6: もし仮に何らかのものがうざいけど夫婦らしくないならばあの別居親は虚勢である fact7: 仮にあるものは区別するとするとそれはうざくない fact8: もしもなんらかの物が虚勢ならばそれは区別する fact9: 仮にあの別居親が持ち易いけどエクスプレッションでないならこの商品分野は鑑みない fact10: なにがしかのものはうざいということはないがしかし夫婦らしい fact11: 仮にとあるものが鑑みるということはないとしたらそれは虚勢であり組織替えする fact12: あの別居親はエクスプレッションでない fact13: もしも「あの別居親は甘え声でない」ということは成り立つとすればそれは持ち易くてまたエクスプレッションでない fact14: もしもあの別居親が虚勢だとしたら組織替えする fact15: 「あの別居親は鑑みるということはないかもしくはそれはエクスプレッションであるかあるいはどちらもだ」ということは嘘だ fact16: この商品分野は鑑みる ; $hypothesis$ = この商品分野は区別する ; $proof$ = 
fact3 -> int1: もしもこの商品分野は区別するとしたらそれはうざくなくてそれに夫婦らしくない; void -> assump1: 以下のように仮定する。この商品分野は区別する; int1 & assump1 -> int2: この商品分野はうざくなくて夫婦らしくない; int2 -> int3: うざくないしその上夫婦らしいないものはある; int3 & fact5 -> int4: あの別居親は虚勢である; int4 & fact14 -> int5: あの別居親は組織替えする; fact4 -> int6: もし「あの別居親は鑑みないかもしくはエクスプレッションであるかもしくは両方である」ということは偽であるなら組織替えするということはない; int6 & fact15 -> int7: あの別居親は組織替えしない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: なんらかの物はうざいということはない
事実2: 「この商品分野はうざいということはない」ということは確かだ
事実3: 仮にとあるものが区別すればうざいということはないしかつ夫婦らしくない
事実4: もし仮に「なんらかのものは鑑みるということはないかあるいはエクスプレッションであるかあるいは両方ともだ」ということは事実でないならば組織替えしない
事実5: もし仮に「うざくないしおまけに夫婦らしくない」ものがあるならあの別居親は虚勢だ
事実6: もし仮に何らかのものがうざいけど夫婦らしくないならばあの別居親は虚勢である
事実7: 仮にあるものは区別するとするとそれはうざくない
事実8: もしもなんらかの物が虚勢ならばそれは区別する
事実9: 仮にあの別居親が持ち易いけどエクスプレッションでないならこの商品分野は鑑みない
事実10: なにがしかのものはうざいということはないがしかし夫婦らしい
事実11: 仮にとあるものが鑑みるということはないとしたらそれは虚勢であり組織替えする
事実12: あの別居親はエクスプレッションでない
事実13: もしも「あの別居親は甘え声でない」ということは成り立つとすればそれは持ち易くてまたエクスプレッションでない
事実14: もしもあの別居親が虚勢だとしたら組織替えする
事実15: 「あの別居親は鑑みるということはないかもしくはそれはエクスプレッションであるかあるいはどちらもだ」ということは嘘だ
事実16: この商品分野は鑑みる

仮説: この商品分野は区別する
1. 事実3から、推論1: "もしもこの商品分野は区別するとしたらそれはうざくなくてそれに夫婦らしくない"が導かれる
2. 仮定1: 以下のように仮定する。この商品分野は区別する
3. 推論1と仮定1から、推論2: "この商品分野はうざくなくて夫婦らしくない"が導かれる
4. 推論2から、推論3: "うざくないしその上夫婦らしいないものはある"が導かれる
5. 推論3と事実5から、推論4: "あの別居親は虚勢である"が導かれる
6. 推論4と事実14から、推論5: "あの別居親は組織替えする"が導かれる
7. 事実4から、推論6: "もし「あの別居親は鑑みないかもしくはエクスプレッションであるかもしくは両方である」ということは偽であるなら組織替えするということはない"が導かれる
8. 推論6と事実15から、推論7: "あの別居親は組織替えしない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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