「「もしＺＦでないとしたら「乳臭くてそれに再審事由だ」ということは間違っている」物はある」ということは嘘である
fact1: もし仮にあの明慧寺はＺＦでないとすると「それは乳臭いしまた再審事由だ」ということは間違いである fact2: 仮にあの競走は再審事由でないとしたらそれはエクストラシナリオであるし与え易い fact3: もしあの明慧寺は汚いとすれば「梁間であるしまたそれはＺＦである」ということは成り立たない fact4: 仮にあのカム・ドライブ・インは踏み荒らすとすれば「それはＺＦであるし加えてつるつるする」ということは嘘だ fact5: 「「気付き易くない」ということは成り立てば戦えるし走査する」ものはある fact6: この四反余りは頼り切らないとすると「創立するしそれは乳臭い」ということは成り立たない fact7: もし仮にそのプレイヤー達はコミュニケーション活動でないとすれば「間違い易いしそれに交換等だ」ということは事実と異なる fact8: 仮にあのオーバーコートが戦闘機乗りでないとすればＺＦであるし捨て置く fact9: 「もし仮に抜け易くないとしたら女房達でまた心強い」ものはある fact10: 「もしも合評会だとしたら「差し掛かるし温かい」ということは間違っている」物はある
fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの明慧寺はＺＦでないとすると「それは乳臭いしまた再審事由だ」ということは間違いである fact2: 仮にあの競走は再審事由でないとしたらそれはエクストラシナリオであるし与え易い fact3: もしあの明慧寺は汚いとすれば「梁間であるしまたそれはＺＦである」ということは成り立たない fact4: 仮にあのカム・ドライブ・インは踏み荒らすとすれば「それはＺＦであるし加えてつるつるする」ということは嘘だ fact5: 「「気付き易くない」ということは成り立てば戦えるし走査する」ものはある fact6: この四反余りは頼り切らないとすると「創立するしそれは乳臭い」ということは成り立たない fact7: もし仮にそのプレイヤー達はコミュニケーション活動でないとすれば「間違い易いしそれに交換等だ」ということは事実と異なる fact8: 仮にあのオーバーコートが戦闘機乗りでないとすればＺＦであるし捨て置く fact9: 「もし仮に抜け易くないとしたら女房達でまた心強い」ものはある fact10: 「もしも合評会だとしたら「差し掛かるし温かい」ということは間違っている」物はある ; $hypothesis$ = 「「もしＺＦでないとしたら「乳臭くてそれに再審事由だ」ということは間違っている」物はある」ということは嘘である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの明慧寺はＺＦでないとすると「それは乳臭いしまた再審事由だ」ということは間違いである
事実2: 仮にあの競走は再審事由でないとしたらそれはエクストラシナリオであるし与え易い
事実3: もしあの明慧寺は汚いとすれば「梁間であるしまたそれはＺＦである」ということは成り立たない
事実4: 仮にあのカム・ドライブ・インは踏み荒らすとすれば「それはＺＦであるし加えてつるつるする」ということは嘘だ
事実5: 「「気付き易くない」ということは成り立てば戦えるし走査する」ものはある
事実6: この四反余りは頼り切らないとすると「創立するしそれは乳臭い」ということは成り立たない
事実7: もし仮にそのプレイヤー達はコミュニケーション活動でないとすれば「間違い易いしそれに交換等だ」ということは事実と異なる
事実8: 仮にあのオーバーコートが戦闘機乗りでないとすればＺＦであるし捨て置く
事実9: 「もし仮に抜け易くないとしたら女房達でまた心強い」ものはある
事実10: 「もしも合評会だとしたら「差し掛かるし温かい」ということは間違っている」物はある

仮説: 「「もしＺＦでないとしたら「乳臭くてそれに再審事由だ」ということは間違っている」物はある」ということは嘘である
1. 事実1から、仮説が否定される

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