この設定ツールは仕出しでない
fact1: このＳオーケーは仕出しである fact2: もしその奥様は回送するとすれば「それは堅苦しいけれど愚かしくない」ということは成り立たない fact3: もし仮に「何らかのものは堅苦しいが愚かしくない」ということは事実でないなら幅広い fact4: 彼女らしくないものは幅広いけど仕出しでない fact5: もし仮にその酸漿が百姓らしくないけどそれが狂奔するならその奥様は狂奔する fact6: とあるものが晴れ渡らないならそれは雪深くない fact7: もし仮にこの弁護士報酬は遠縁だということはないとすると「この設定ツールは彼女らしくない」ということは成り立つ fact8: この道路自体が百姓らしいしさらに狂奔するとすればその酸漿は狂奔するということはない fact9: その奥様は回送する fact10: もし「語れるしまた遠縁な」ものがあるとすればあの弁護士報酬は彼女らしい fact11: この道路自体は晴れ渡らないけれど下行結腸だ fact12: もしもなにがしかの物は愁嘆であるということはないとすると「「開発独裁だけれど狂奔しない」ということは確かである」ということは嘘だ fact13: もし仮にこの設定ツールが幅広いが仕出しでないならばこの関連文書は仕出しである fact14: 雪深くないものは百姓らしいしまた店舗経営だ fact15: もし仮にその酸漿は狂奔しないなら「語れるしそれに遠縁である」ということは事実である fact16: 仮にその奥様が幅広いとしたらこの弁護士報酬は幅広い fact17: この設定ツールは仕出しだ fact18: 仮に「この道路自体は開発独裁であるが狂奔しない」ということは事実と異なるとしたら「狂奔する」ということは確かである fact19: どれもこれもは愁嘆でない
fact17 -> hypothesis;
この設定ツールは仕出しでない
fact20 -> int1: もしこの道路自体が雪深くないならそれは百姓らしいし店舗経営である; fact30 -> int2: この道路自体が晴れ渡らないとするとそれは雪深くない; fact29 -> int3: この道路自体は晴れ渡らない; int2 & int3 -> int4: この道路自体は雪深くない; int1 & int4 -> int5: 「この道路自体は百姓らしいししかもそれは店舗経営である」ということは確かである; int5 -> int6: この道路自体は百姓らしい; fact21 -> int7: 仮にあの国民健康保険料は愁嘆であるということはないならば「それは開発独裁であるししかもそれは狂奔しない」ということは真実でない; fact27 -> int8: 「あの国民健康保険料は愁嘆だということはない」ということは成り立つ; int7 & int8 -> int9: 「あの国民健康保険料が開発独裁だけどそれは狂奔しない」ということは偽だ; int9 -> int10: それは開発独裁であるしそれは狂奔しないという物はない; int10 -> int11: 「「この道路自体は開発独裁であるけれどそれは狂奔しない」ということは正しい」ということは嘘である; int11 & fact31 -> int12: この道路自体は狂奔する; int6 & int12 -> int13: この道路自体は百姓らしいし狂奔する; fact26 & int13 -> int14: その酸漿は狂奔しない; fact22 & int14 -> int15: その酸漿は語れるししかも遠縁だ; int15 -> int16: なんらかの物は語れるし遠縁だ; fact23 & int16 -> int17: この弁護士報酬は彼女らしい; fact28 & fact32 -> int18: 「その奥様は堅苦しいが愚かしくない」ということは間違いである; fact24 -> int19: 「その奥様は堅苦しいがしかし愚かしくない」ということは正しくないなら幅広い; int18 & int19 -> int20: その奥様は幅広い; fact25 & int20 -> int21: この弁護士報酬は幅広い; int17 & int21 -> int22: この弁護士報酬は彼女らしいし加えて幅広い;
$facts$ = fact1: このＳオーケーは仕出しである fact2: もしその奥様は回送するとすれば「それは堅苦しいけれど愚かしくない」ということは成り立たない fact3: もし仮に「何らかのものは堅苦しいが愚かしくない」ということは事実でないなら幅広い fact4: 彼女らしくないものは幅広いけど仕出しでない fact5: もし仮にその酸漿が百姓らしくないけどそれが狂奔するならその奥様は狂奔する fact6: とあるものが晴れ渡らないならそれは雪深くない fact7: もし仮にこの弁護士報酬は遠縁だということはないとすると「この設定ツールは彼女らしくない」ということは成り立つ fact8: この道路自体が百姓らしいしさらに狂奔するとすればその酸漿は狂奔するということはない fact9: その奥様は回送する fact10: もし「語れるしまた遠縁な」ものがあるとすればあの弁護士報酬は彼女らしい fact11: この道路自体は晴れ渡らないけれど下行結腸だ fact12: もしもなにがしかの物は愁嘆であるということはないとすると「「開発独裁だけれど狂奔しない」ということは確かである」ということは嘘だ fact13: もし仮にこの設定ツールが幅広いが仕出しでないならばこの関連文書は仕出しである fact14: 雪深くないものは百姓らしいしまた店舗経営だ fact15: もし仮にその酸漿は狂奔しないなら「語れるしそれに遠縁である」ということは事実である fact16: 仮にその奥様が幅広いとしたらこの弁護士報酬は幅広い fact17: この設定ツールは仕出しだ fact18: 仮に「この道路自体は開発独裁であるが狂奔しない」ということは事実と異なるとしたら「狂奔する」ということは確かである fact19: どれもこれもは愁嘆でない ; $hypothesis$ = この設定ツールは仕出しでない ; $proof$ = 
fact17 -> hypothesis; __DISPROVED__
事実1: このＳオーケーは仕出しである
事実2: もしその奥様は回送するとすれば「それは堅苦しいけれど愚かしくない」ということは成り立たない
事実3: もし仮に「何らかのものは堅苦しいが愚かしくない」ということは事実でないなら幅広い
事実4: 彼女らしくないものは幅広いけど仕出しでない
事実5: もし仮にその酸漿が百姓らしくないけどそれが狂奔するならその奥様は狂奔する
事実6: とあるものが晴れ渡らないならそれは雪深くない
事実7: もし仮にこの弁護士報酬は遠縁だということはないとすると「この設定ツールは彼女らしくない」ということは成り立つ
事実8: この道路自体が百姓らしいしさらに狂奔するとすればその酸漿は狂奔するということはない
事実9: その奥様は回送する
事実10: もし「語れるしまた遠縁な」ものがあるとすればあの弁護士報酬は彼女らしい
事実11: この道路自体は晴れ渡らないけれど下行結腸だ
事実12: もしもなにがしかの物は愁嘆であるということはないとすると「「開発独裁だけれど狂奔しない」ということは確かである」ということは嘘だ
事実13: もし仮にこの設定ツールが幅広いが仕出しでないならばこの関連文書は仕出しである
事実14: 雪深くないものは百姓らしいしまた店舗経営だ
事実15: もし仮にその酸漿は狂奔しないなら「語れるしそれに遠縁である」ということは事実である
事実16: 仮にその奥様が幅広いとしたらこの弁護士報酬は幅広い
事実17: この設定ツールは仕出しだ
事実18: 仮に「この道路自体は開発独裁であるが狂奔しない」ということは事実と異なるとしたら「狂奔する」ということは確かである
事実19: どれもこれもは愁嘆でない

仮説: この設定ツールは仕出しでない
1. 事実17から、仮説が否定される

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