この平山城は加水分解する
fact1: もしもなんらかのものはガラス工房でない一方で傾き始めればそれは加水分解しない fact2: 仮に「この何科は二十二日条だけど覚え込まない」ということは事実だとするとそれは厳つかない fact3: もしもこの何科が朝御飯だとすればそれは二十二日条でない fact4: 何もかもは傾き始めるしそれに再開発する fact5: そのカウンセリング化は絶え難くないし更にそれは徒らっぽくない fact6: もし「あのモスバーガーは数例でなくてしかも慰め合わない」ということは正しくないとしたらこの平山城は加水分解しない fact7: 「厳つい」物はある fact8: もし「この何科は整備計画でないかあるいは慰め合うかあるいはどちらもである」ということは事実ならばあの訴訟当事者は慰め合うということはない fact9: もしこの何科は朝御飯であるならそれは二十二日条でないし更に覚え込まない fact10: なにがしかのものはレスリングでないならば「あのモスバーガーはＣＡＦＣでないし朝御飯であるということはない」ということは成り立たない fact11: 仮にこの何科は二十二日条でないしかつ覚え込まないとすればそれは厳つかない fact12: もし何かは加水分解するということはないならこの何科は整備計画でないかもしくは慰め合うかもしくは両方だ fact13: もし「厳つかない」ものはあるとすると「あのモスバーガーは数例であるけどそれは慰め合うということはない」ということは間違っている fact14: あのモスバーガーはガラス工房でない fact15: 仮に何らかのものは厳つかないとすると「「あのモスバーガーは数例でないがしかしそれは慰め合う」ということは確かだ」ということは成り立たない fact16: この何科は二十二日条であるということはない fact17: 仮に何かは朝御飯ならそれは数例でないし洋画でない fact18: 「この何科は朝御飯である」ということは成り立つ fact19: 仮に何らかのものは厳つかないとすると「あのモスバーガーは数例でなくて慰め合うということはない」ということは成り立たない fact20: 「あのモスバーガーは数例だが慰め合わない」ということは間違いだ fact21: もしもあるものが慰め合わないとしたら厳ついししかも朝御飯だ fact22: 「あのモスバーガーは数例でない一方でそれは慰め合う」ということは嘘だ
fact9 & fact18 -> int1: この何科は二十二日条だということはないし更にそれは覚え込まない; int1 & fact11 -> int2: この何科は厳つかない; int2 -> int3: 「厳つかない」ものはある; int3 & fact19 -> int4: 「あのモスバーガーは数例でないしその上慰め合わない」ということは事実でない; int4 & fact6 -> hypothesis;
この訴訟当事者は数例でなくてかつ洋画でない
fact28 -> int5: 仮にこの訴訟当事者が朝御飯だとすれば数例でないししかもそれは洋画でない; fact25 -> int6: もしこの訴訟当事者が慰め合うということはないならば厳ついし朝御飯である; fact29 -> int7: あのモスバーガーがガラス工房でないがしかし傾き始めるとしたらそれは加水分解しない; fact23 -> int8: あのモスバーガーは傾き始めるし更に再開発する; int8 -> int9: あのモスバーガーは傾き始める; fact26 & int9 -> int10: あのモスバーガーはガラス工房でないがしかしそれは傾き始める; int7 & int10 -> int11: あのモスバーガーは加水分解しない; int11 -> int12: とあるものは加水分解しない; int12 & fact24 -> int13: この何科は整備計画でないかあるいはそれは慰め合う; fact27 & int13 -> int14: この訴訟当事者は慰め合わない; int6 & int14 -> int15: この訴訟当事者は厳ついし更にそれは朝御飯である; int15 -> int16: この訴訟当事者は朝御飯である; int5 & int16 -> hypothesis;
$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$ = 
fact9 & fact18 -> int1: この何科は二十二日条だということはないし更にそれは覚え込まない; int1 & fact11 -> int2: この何科は厳つかない; int2 -> int3: 「厳つかない」ものはある; int3 & fact19 -> int4: 「あのモスバーガーは数例でないしその上慰め合わない」ということは事実でない; int4 & fact6 -> 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. 事実9と事実18から、推論1: "この何科は二十二日条だということはないし更にそれは覚え込まない"が導かれる
2. 推論1と事実11から、推論2: "この何科は厳つかない"が導かれる
3. 推論2から、推論3: "「厳つかない」ものはある"が導かれる
4. 推論3と事実19から、推論4: "「あのモスバーガーは数例でないしその上慰め合わない」ということは事実でない"が導かれる
5. 推論4と事実6から、仮説が否定される

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