その三百万本植樹は社会的責務でない
fact1: あの唯一性はアサミ式カニューレでない fact2: もしあの唯一性が蟄居しないとするとそれは泥臭いけどパンチャーヤティ支配でない fact3: 「社会的責務であるしまた持久戦である」物はある fact4: その新仏教はすっごい fact5: この作業用具は群れ集まるしまた盛り付ける fact6: その新仏教は探査するしそれはイスラーム勢力である fact7: もし「合致だしその上走れる」ものがあるならその三百万本植樹は社会的責務である fact8: 「合致である」ものはある fact9: その新仏教は走れるしそれにそれは持久戦だ fact10: このアミノ酸配列データベースは犇めき合うしそれは社会的責務である fact11: とある物が合致でないとすると社会的責務でないしそれはしみったれない fact12: 何かはしみったれるしそれに持久戦だとするとその新仏教は走れる fact13: その新仏教はしみったれるしその上合致だ fact14: 仮に何かは思慮深いとすると「それは走れるけど持久戦でない」ということは間違いである fact15: もし仮にあの唯一性がアサミ式カニューレでないならそれは蟄居しなくてかつもがき苦しまない fact16: その新仏教が社会的責務でなくておまけにそれがしみったれないならばその三百万本植樹は社会的責務でない fact17: 泥臭い物はパンチャーヤティ支配でないとしたらそれは思慮深い fact18: なにかはしみったれる fact19: もしもそのミキサーが走れるということはないとすればしみったれるし合致である fact20: 「走れる」物はある
fact13 -> int1: その新仏教は合致である; fact9 -> int2: その新仏教は走れる; int1 & int2 -> int3: その新仏教は合致でおまけに走れる; int3 -> int4: 「合致だし走れる」ものはある; int4 & fact7 -> hypothesis;
その三百万本植樹は社会的責務だということはない
fact23 -> int5: もしもその新仏教は合致であるということはないならば社会的責務でないしおまけにしみったれない; fact21 -> int6: もし仮にあの唯一性は思慮深いとすると「走れるがしかし持久戦でない」ということは成り立たない; fact26 -> int7: もし仮にあの唯一性が泥臭い一方でパンチャーヤティ支配でないとすればそれは思慮深い; fact27 & fact25 -> int8: あの唯一性は蟄居しないし更にもがき苦しまない; int8 -> int9: あの唯一性は蟄居しない; fact22 & int9 -> int10: あの唯一性は泥臭いけどパンチャーヤティ支配でない; int7 & int10 -> int11: あの唯一性は思慮深い; int6 & int11 -> int12: 「「あの唯一性は走れるがしかし持久戦であるということはない」ということは事実と異なる」ということは成り立つ; int12 -> int13: 「「走れるけれど持久戦だということはない」ということは事実でない」ものはある;
$facts$ = fact1: あの唯一性はアサミ式カニューレでない fact2: もしあの唯一性が蟄居しないとするとそれは泥臭いけどパンチャーヤティ支配でない fact3: 「社会的責務であるしまた持久戦である」物はある fact4: その新仏教はすっごい fact5: この作業用具は群れ集まるしまた盛り付ける fact6: その新仏教は探査するしそれはイスラーム勢力である fact7: もし「合致だしその上走れる」ものがあるならその三百万本植樹は社会的責務である fact8: 「合致である」ものはある fact9: その新仏教は走れるしそれにそれは持久戦だ fact10: このアミノ酸配列データベースは犇めき合うしそれは社会的責務である fact11: とある物が合致でないとすると社会的責務でないしそれはしみったれない fact12: 何かはしみったれるしそれに持久戦だとするとその新仏教は走れる fact13: その新仏教はしみったれるしその上合致だ fact14: 仮に何かは思慮深いとすると「それは走れるけど持久戦でない」ということは間違いである fact15: もし仮にあの唯一性がアサミ式カニューレでないならそれは蟄居しなくてかつもがき苦しまない fact16: その新仏教が社会的責務でなくておまけにそれがしみったれないならばその三百万本植樹は社会的責務でない fact17: 泥臭い物はパンチャーヤティ支配でないとしたらそれは思慮深い fact18: なにかはしみったれる fact19: もしもそのミキサーが走れるということはないとすればしみったれるし合致である fact20: 「走れる」物はある ; $hypothesis$ = その三百万本植樹は社会的責務でない ; $proof$ = 
fact13 -> int1: その新仏教は合致である; fact9 -> int2: その新仏教は走れる; int1 & int2 -> int3: その新仏教は合致でおまけに走れる; int3 -> int4: 「合致だし走れる」ものはある; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: あの唯一性はアサミ式カニューレでない
事実2: もしあの唯一性が蟄居しないとするとそれは泥臭いけどパンチャーヤティ支配でない
事実3: 「社会的責務であるしまた持久戦である」物はある
事実4: その新仏教はすっごい
事実5: この作業用具は群れ集まるしまた盛り付ける
事実6: その新仏教は探査するしそれはイスラーム勢力である
事実7: もし「合致だしその上走れる」ものがあるならその三百万本植樹は社会的責務である
事実8: 「合致である」ものはある
事実9: その新仏教は走れるしそれにそれは持久戦だ
事実10: このアミノ酸配列データベースは犇めき合うしそれは社会的責務である
事実11: とある物が合致でないとすると社会的責務でないしそれはしみったれない
事実12: 何かはしみったれるしそれに持久戦だとするとその新仏教は走れる
事実13: その新仏教はしみったれるしその上合致だ
事実14: 仮に何かは思慮深いとすると「それは走れるけど持久戦でない」ということは間違いである
事実15: もし仮にあの唯一性がアサミ式カニューレでないならそれは蟄居しなくてかつもがき苦しまない
事実16: その新仏教が社会的責務でなくておまけにそれがしみったれないならばその三百万本植樹は社会的責務でない
事実17: 泥臭い物はパンチャーヤティ支配でないとしたらそれは思慮深い
事実18: なにかはしみったれる
事実19: もしもそのミキサーが走れるということはないとすればしみったれるし合致である
事実20: 「走れる」物はある

仮説: その三百万本植樹は社会的責務でない
1. 事実13から、推論1: "その新仏教は合致である"が導かれる
2. 事実9から、推論2: "その新仏教は走れる"が導かれる
3. 推論1と推論2から、推論3: "その新仏教は合致でおまけに走れる"が導かれる
4. 推論3から、推論4: "「合致だし走れる」ものはある"が導かれる
5. 推論4と事実7から、仮説が否定される

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