「「防止するということはないけれど子供連れである」物はある」ということは成り立つということはない
fact1: もしも「その請求基準はイエットだ」ということは確かであるとすればこの策は防止する fact2: 「この策は暑くないがしかし発症し易い」ということは成り立たない fact3: 「常勤しない」物はある fact4: もしもこの策が防止するとするとその請求基準は子供連れであるということはないがしかしイエットである fact5: 「とあるものがイエットだしおまけにそれは子供連れである」ということは真実である fact6: この策はイエットである fact7: 仮に「この策はイエットである」ということは成り立てばその請求基準は防止しないがしかし子供連れだ fact8: もし仮に「何らかのものはふっくらしない一方で一転する」ということは成り立たないならそれは防止しない fact9: 仮にその仲介モデルは射掛けないなら「それはふっくらしないけど一転する」ということは偽だ fact10: もしも「「暑いということはないが発症し易い」ということは事実と異なる」ものがあるとしたらその仲介モデルは射掛けない
fact7 & fact6 -> int1: その請求基準は防止するということはないがしかし子供連れだ; int1 -> hypothesis;
その仲介モデルは防止しないが精神保健である
fact11 -> int2: 「その仲介モデルはふっくらしない一方で一転する」ということは成り立たないとすると防止しない; fact13 -> int3: 「「暑いということはないしそれに発症し易い」ということは間違いである」ものはある; int3 & fact14 -> int4: その仲介モデルは射掛けない; fact12 & int4 -> int5: 「その仲介モデルはふっくらしない一方で一転する」ということは間違いだ; int2 & int5 -> int6: その仲介モデルは防止しない;
$facts$ = fact1: もしも「その請求基準はイエットだ」ということは確かであるとすればこの策は防止する fact2: 「この策は暑くないがしかし発症し易い」ということは成り立たない fact3: 「常勤しない」物はある fact4: もしもこの策が防止するとするとその請求基準は子供連れであるということはないがしかしイエットである fact5: 「とあるものがイエットだしおまけにそれは子供連れである」ということは真実である fact6: この策はイエットである fact7: 仮に「この策はイエットである」ということは成り立てばその請求基準は防止しないがしかし子供連れだ fact8: もし仮に「何らかのものはふっくらしない一方で一転する」ということは成り立たないならそれは防止しない fact9: 仮にその仲介モデルは射掛けないなら「それはふっくらしないけど一転する」ということは偽だ fact10: もしも「「暑いということはないが発症し易い」ということは事実と異なる」ものがあるとしたらその仲介モデルは射掛けない ; $hypothesis$ = 「「防止するということはないけれど子供連れである」物はある」ということは成り立つということはない ; $proof$ = 
fact7 & fact6 -> int1: その請求基準は防止するということはないがしかし子供連れだ; int1 -> hypothesis; __DISPROVED__
事実1: もしも「その請求基準はイエットだ」ということは確かであるとすればこの策は防止する
事実2: 「この策は暑くないがしかし発症し易い」ということは成り立たない
事実3: 「常勤しない」物はある
事実4: もしもこの策が防止するとするとその請求基準は子供連れであるということはないがしかしイエットである
事実5: 「とあるものがイエットだしおまけにそれは子供連れである」ということは真実である
事実6: この策はイエットである
事実7: 仮に「この策はイエットである」ということは成り立てばその請求基準は防止しないがしかし子供連れだ
事実8: もし仮に「何らかのものはふっくらしない一方で一転する」ということは成り立たないならそれは防止しない
事実9: 仮にその仲介モデルは射掛けないなら「それはふっくらしないけど一転する」ということは偽だ
事実10: もしも「「暑いということはないが発症し易い」ということは事実と異なる」ものがあるとしたらその仲介モデルは射掛けない

仮説: 「「防止するということはないけれど子供連れである」物はある」ということは成り立つということはない
1. 事実7と事実6から、推論1: "その請求基準は防止するということはないがしかし子供連れだ"が導かれる
2. 推論1から、仮説が否定される

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