あの御冗談は子供らしくない
fact1: もし仮にこのハーブティーが出ずとすればそれは子供らしい fact2: 仮に「あの御冗談は子供らしい」ということは成り立つとすると創立者だ fact3: あの集合部は子供らしい fact4: あの御冗談は苛立たしい fact5: もし「あの企画内容は出ず」ということは本当であるなら記入欄だ fact6: あの御冗談は察知出来る fact7: 仮に「あの御冗談は子供らしいかまたは察知出来ない」ということは偽だとしたらあの年画は子供らしい fact8: 仮にあの御冗談が苛立たしいなら子供らしい
fact8 & fact4 -> hypothesis;
あの年画は子供らしい
$facts$ = fact1: もし仮にこのハーブティーが出ずとすればそれは子供らしい fact2: 仮に「あの御冗談は子供らしい」ということは成り立つとすると創立者だ fact3: あの集合部は子供らしい fact4: あの御冗談は苛立たしい fact5: もし「あの企画内容は出ず」ということは本当であるなら記入欄だ fact6: あの御冗談は察知出来る fact7: 仮に「あの御冗談は子供らしいかまたは察知出来ない」ということは偽だとしたらあの年画は子供らしい fact8: 仮にあの御冗談が苛立たしいなら子供らしい ; $hypothesis$ = あの御冗談は子供らしくない ; $proof$ = 
fact8 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にこのハーブティーが出ずとすればそれは子供らしい
事実2: 仮に「あの御冗談は子供らしい」ということは成り立つとすると創立者だ
事実3: あの集合部は子供らしい
事実4: あの御冗談は苛立たしい
事実5: もし「あの企画内容は出ず」ということは本当であるなら記入欄だ
事実6: あの御冗談は察知出来る
事実7: 仮に「あの御冗談は子供らしいかまたは察知出来ない」ということは偽だとしたらあの年画は子供らしい
事実8: 仮にあの御冗談が苛立たしいなら子供らしい

仮説: あの御冗談は子供らしくない
1. 事実8と事実4から、仮説が否定される

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