その玄界灘は御固くない
fact1: もしも「その殺人者は流れ易くてかつそれは変わり易い」ということは偽であるとすれば「その観光業界は貧乏臭くない」ということは事実である fact2: もし何らかの物は深め合わないとすると「それは流れ易いしまたそれは変わり易い」ということは成り立たない fact3: その観光業界が組成すればその殺人者は再生計画取り消しでないしさらに過ごし易くない fact4: なんらかの物は再生計画取り消しだということはないけど過ごし易い fact5: もし「「その観光業界は御固くないしその上それは組成しない」ということは事実である」ということは成り立たないとするとその玄界灘は御固くない fact6: もし仮にその観光業界が組成するならその殺人者は再生計画取り消しでない fact7: もしも「何らかのものは深め合うけど流れ易くない」ということは成り立てばその三府は貧乏臭くない fact8: もしも再生計画取り消しが過ごし易くないならその三府は貧乏臭い fact9: もしもその観光業界が変わり易いならその玄界灘は御固い fact10: その観光業界は流れ易い fact11: なんらかのものは深め合うしさらに流れ易い fact12: 「とある物は批判的分析だがそれはむくつけしない」ということは成り立たないならば深め合わない fact13: 「再生計画取り消しでない」物はある fact14: 「流れ易くない」物はある fact15: もし仮に何らかのものが組成しないとするとそれは変わり易い fact16: 「「その三府は除籍しないしまたそれは腹立たしくらない」ということは誤りだとしたらその殺人者は除籍する」ということは確かだ fact17: もし仮にその殺人者は除籍するなら「それは批判的分析であるしむくつけしない」ということは成り立たない fact18: なにがしかのものは深め合う一方で流れ易いということはない fact19: 何かは深め合う fact20: 仮に「再生計画取り消しでなくて過ごし易いということはない」ものがあるとするとその三府は貧乏臭い fact21: 「何らかの物は貧乏臭くない」ということは成り立つとすると「御固くないし組成するということはない」ということは成り立たない fact22: その中小企業対策は発明性でない fact23: 「その殺人者は再生計画取り消しでない」ということは間違いでない
void -> assump1: 以下のように仮定する。その観光業界は組成する; fact3 & assump1 -> int1: その殺人者は再生計画取り消しでなくてその上過ごし易いということはない; int1 -> int2: ある物は再生計画取り消しでなくてかつそれは過ごし易くない; int2 & fact20 -> int3: その三府は貧乏臭い; fact7 & fact18 -> int4: その三府は貧乏臭くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その観光業界は組成するということはない; fact15 -> int7: もし仮にその観光業界が組成しないなら変わり易い; int6 & int7 -> int8: その観光業界は変わり易い; int8 & fact9 -> hypothesis;
その玄界灘は御固くない
fact28 -> int9: もしその観光業界は貧乏臭くないとすれば「それは御固くないし組成しない」ということは成り立たない; fact29 -> int10: その殺人者は深め合わないとしたら「それは流れ易くて加えてそれは変わり易い」ということは偽だ; fact24 -> int11: 「「その殺人者は批判的分析であるがしかしむくつけしない」ということは成り立たない」ということは確かならばそれは深め合わない;
$facts$ = fact1: もしも「その殺人者は流れ易くてかつそれは変わり易い」ということは偽であるとすれば「その観光業界は貧乏臭くない」ということは事実である fact2: もし何らかの物は深め合わないとすると「それは流れ易いしまたそれは変わり易い」ということは成り立たない fact3: その観光業界が組成すればその殺人者は再生計画取り消しでないしさらに過ごし易くない fact4: なんらかの物は再生計画取り消しだということはないけど過ごし易い fact5: もし「「その観光業界は御固くないしその上それは組成しない」ということは事実である」ということは成り立たないとするとその玄界灘は御固くない fact6: もし仮にその観光業界が組成するならその殺人者は再生計画取り消しでない fact7: もしも「何らかのものは深め合うけど流れ易くない」ということは成り立てばその三府は貧乏臭くない fact8: もしも再生計画取り消しが過ごし易くないならその三府は貧乏臭い fact9: もしもその観光業界が変わり易いならその玄界灘は御固い fact10: その観光業界は流れ易い fact11: なんらかのものは深め合うしさらに流れ易い fact12: 「とある物は批判的分析だがそれはむくつけしない」ということは成り立たないならば深め合わない fact13: 「再生計画取り消しでない」物はある fact14: 「流れ易くない」物はある fact15: もし仮に何らかのものが組成しないとするとそれは変わり易い fact16: 「「その三府は除籍しないしまたそれは腹立たしくらない」ということは誤りだとしたらその殺人者は除籍する」ということは確かだ fact17: もし仮にその殺人者は除籍するなら「それは批判的分析であるしむくつけしない」ということは成り立たない fact18: なにがしかのものは深め合う一方で流れ易いということはない fact19: 何かは深め合う fact20: 仮に「再生計画取り消しでなくて過ごし易いということはない」ものがあるとするとその三府は貧乏臭い fact21: 「何らかの物は貧乏臭くない」ということは成り立つとすると「御固くないし組成するということはない」ということは成り立たない fact22: その中小企業対策は発明性でない fact23: 「その殺人者は再生計画取り消しでない」ということは間違いでない ; $hypothesis$ = その玄界灘は御固くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その観光業界は組成する; fact3 & assump1 -> int1: その殺人者は再生計画取り消しでなくてその上過ごし易いということはない; int1 -> int2: ある物は再生計画取り消しでなくてかつそれは過ごし易くない; int2 & fact20 -> int3: その三府は貧乏臭い; fact7 & fact18 -> int4: その三府は貧乏臭くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その観光業界は組成するということはない; fact15 -> int7: もし仮にその観光業界が組成しないなら変わり易い; int6 & int7 -> int8: その観光業界は変わり易い; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: もしも「その殺人者は流れ易くてかつそれは変わり易い」ということは偽であるとすれば「その観光業界は貧乏臭くない」ということは事実である
事実2: もし何らかの物は深め合わないとすると「それは流れ易いしまたそれは変わり易い」ということは成り立たない
事実3: その観光業界が組成すればその殺人者は再生計画取り消しでないしさらに過ごし易くない
事実4: なんらかの物は再生計画取り消しだということはないけど過ごし易い
事実5: もし「「その観光業界は御固くないしその上それは組成しない」ということは事実である」ということは成り立たないとするとその玄界灘は御固くない
事実6: もし仮にその観光業界が組成するならその殺人者は再生計画取り消しでない
事実7: もしも「何らかのものは深め合うけど流れ易くない」ということは成り立てばその三府は貧乏臭くない
事実8: もしも再生計画取り消しが過ごし易くないならその三府は貧乏臭い
事実9: もしもその観光業界が変わり易いならその玄界灘は御固い
事実10: その観光業界は流れ易い
事実11: なんらかのものは深め合うしさらに流れ易い
事実12: 「とある物は批判的分析だがそれはむくつけしない」ということは成り立たないならば深め合わない
事実13: 「再生計画取り消しでない」物はある
事実14: 「流れ易くない」物はある
事実15: もし仮に何らかのものが組成しないとするとそれは変わり易い
事実16: 「「その三府は除籍しないしまたそれは腹立たしくらない」ということは誤りだとしたらその殺人者は除籍する」ということは確かだ
事実17: もし仮にその殺人者は除籍するなら「それは批判的分析であるしむくつけしない」ということは成り立たない
事実18: なにがしかのものは深め合う一方で流れ易いということはない
事実19: 何かは深め合う
事実20: 仮に「再生計画取り消しでなくて過ごし易いということはない」ものがあるとするとその三府は貧乏臭い
事実21: 「何らかの物は貧乏臭くない」ということは成り立つとすると「御固くないし組成するということはない」ということは成り立たない
事実22: その中小企業対策は発明性でない
事実23: 「その殺人者は再生計画取り消しでない」ということは間違いでない

仮説: その玄界灘は御固くない
1. 仮定1: 以下のように仮定する。その観光業界は組成する
2. 事実3と仮定1から、推論1: "その殺人者は再生計画取り消しでなくてその上過ごし易いということはない"が導かれる
3. 推論1から、推論2: "ある物は再生計画取り消しでなくてかつそれは過ごし易くない"が導かれる
4. 推論2と事実20から、推論3: "その三府は貧乏臭い"が導かれる
5. 事実7と事実18から、推論4: "その三府は貧乏臭くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その観光業界は組成するということはない"が導かれる
8. 事実15から、推論7: "もし仮にその観光業界が組成しないなら変わり易い"が導かれる
9. 推論6と推論7から、推論8: "その観光業界は変わり易い"が導かれる
10. 推論8と事実9から、仮説が否定される

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