「もしあの税制が面白くないとしたらこのベト病は召し抱えるし男女同数だ」ということは成り立たない
fact1: もしもあの税制が面白いならこのベト病は召し抱えるし更に男女同数だ fact2: そのテオフィリン血中濃度が通用するが感じ難くないとするとあの税制は御寒くない fact3: もし仮にこのベト病が強化すが召し抱えないならこの一斉着信は酒パックでない fact4: そのテオフィリン血中濃度は感じ難くない fact5: このベト病は輔弼する fact6: この一斉着信は召し抱えない fact7: あの税制が強化すとしたらこのベト病は召し抱える fact8: 面白くなくておまけに御寒くない物は強化すということはない fact9: この一斉着信は主務官庁であるけど面白くない fact10: もしも何らかの物は御寒いとしたら「通用するか感じ難いということはないかどちらもだ」ということは間違っている fact11: この一斉着信は製鉄所でないし男女同数でない fact12: もし仮にこのベト病が日本人らしくないとしたらそれは輔弼する fact13: もしもこのベト病が面白くないとすればあの税制は日本人らしくない fact14: 「日本人らしくないものは男女同数でしかも輔弼する」ということは成り立つ fact15: そのテオフィリン血中濃度は通用する fact16: このベト病は感じ難くない fact17: このベト病が御寒いならばこの一斉着信が酒パックだし輔弼する fact18: 「この一斉着信は酒パックである一方で製鉄所でない」ということは成り立たないとすればこのベト病は日本人らしくない fact19: 日本人らしくない物は輔弼する fact20: 「この一斉着信は酒パックであるしそれは製鉄所だ」ということは誤りだ fact21: もしも面白い物が御寒くないとすればそれは強化す fact22: 仮にこの一斉着信は製鉄所なら「このベト病は日本人らしくない」ということは事実だ fact23: このベト病は面白くない fact24: もし仮にあの税制が面白いがしかし御寒くないなら強化す fact25: 「そのテオフィリン血中濃度は強化す」ということは事実だ fact26: あの税制は非国有企業である fact27: もしもあの税制が感じ難くないしそれが日本人らしくないとすると面白い fact28: 「この一斉着信は酒パックであるけど製鉄所だということはない」ということは誤っている
fact15 & fact4 -> int1: そのテオフィリン血中濃度は通用するが感じ難いということはない; int1 & fact2 -> int2: あの税制は御寒くない; void -> assump1: 以下のように仮定する。あの税制は面白くない; int2 & assump1 -> int3: あの税制は面白くないしかつ御寒くない; fact8 -> int4: もしもあの税制は面白くないしおまけに御寒くないなら強化す; int3 & int4 -> int5: あの税制は強化す; int5 & fact7 -> int6: このベト病は召し抱える; fact18 & fact28 -> int7: このベト病は日本人らしくない; fact14 -> int8: もしも「このベト病は日本人らしくない」ということは確かだとすると男女同数であるしかつ輔弼する; int7 & int8 -> int9: このベト病が男女同数だしさらにそれは輔弼する; int9 -> int10: このベト病は男女同数だ; int6 & int10 -> int11: このベト病は召し抱えるし男女同数である; [assump1] & int11 -> hypothesis;
あの鎮撫は強化すらない
fact29 -> int12: そのテオフィリン血中濃度は御寒いとすれば「それは通用するかもしくは感じ難いということはないかもしくは両方である」ということは誤りだ;
$facts$ = fact1: もしもあの税制が面白いならこのベト病は召し抱えるし更に男女同数だ fact2: そのテオフィリン血中濃度が通用するが感じ難くないとするとあの税制は御寒くない fact3: もし仮にこのベト病が強化すが召し抱えないならこの一斉着信は酒パックでない fact4: そのテオフィリン血中濃度は感じ難くない fact5: このベト病は輔弼する fact6: この一斉着信は召し抱えない fact7: あの税制が強化すとしたらこのベト病は召し抱える fact8: 面白くなくておまけに御寒くない物は強化すということはない fact9: この一斉着信は主務官庁であるけど面白くない fact10: もしも何らかの物は御寒いとしたら「通用するか感じ難いということはないかどちらもだ」ということは間違っている fact11: この一斉着信は製鉄所でないし男女同数でない fact12: もし仮にこのベト病が日本人らしくないとしたらそれは輔弼する fact13: もしもこのベト病が面白くないとすればあの税制は日本人らしくない fact14: 「日本人らしくないものは男女同数でしかも輔弼する」ということは成り立つ fact15: そのテオフィリン血中濃度は通用する fact16: このベト病は感じ難くない fact17: このベト病が御寒いならばこの一斉着信が酒パックだし輔弼する fact18: 「この一斉着信は酒パックである一方で製鉄所でない」ということは成り立たないとすればこのベト病は日本人らしくない fact19: 日本人らしくない物は輔弼する fact20: 「この一斉着信は酒パックであるしそれは製鉄所だ」ということは誤りだ fact21: もしも面白い物が御寒くないとすればそれは強化す fact22: 仮にこの一斉着信は製鉄所なら「このベト病は日本人らしくない」ということは事実だ fact23: このベト病は面白くない fact24: もし仮にあの税制が面白いがしかし御寒くないなら強化す fact25: 「そのテオフィリン血中濃度は強化す」ということは事実だ fact26: あの税制は非国有企業である fact27: もしもあの税制が感じ難くないしそれが日本人らしくないとすると面白い fact28: 「この一斉着信は酒パックであるけど製鉄所だということはない」ということは誤っている ; $hypothesis$ = 「もしあの税制が面白くないとしたらこのベト病は召し抱えるし男女同数だ」ということは成り立たない ; $proof$ = 
fact15 & fact4 -> int1: そのテオフィリン血中濃度は通用するが感じ難いということはない; int1 & fact2 -> int2: あの税制は御寒くない; void -> assump1: 以下のように仮定する。あの税制は面白くない; int2 & assump1 -> int3: あの税制は面白くないしかつ御寒くない; fact8 -> int4: もしもあの税制は面白くないしおまけに御寒くないなら強化す; int3 & int4 -> int5: あの税制は強化す; int5 & fact7 -> int6: このベト病は召し抱える; fact18 & fact28 -> int7: このベト病は日本人らしくない; fact14 -> int8: もしも「このベト病は日本人らしくない」ということは確かだとすると男女同数であるしかつ輔弼する; int7 & int8 -> int9: このベト病が男女同数だしさらにそれは輔弼する; int9 -> int10: このベト病は男女同数だ; int6 & int10 -> int11: このベト病は召し抱えるし男女同数である; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: もしもあの税制が面白いならこのベト病は召し抱えるし更に男女同数だ
事実2: そのテオフィリン血中濃度が通用するが感じ難くないとするとあの税制は御寒くない
事実3: もし仮にこのベト病が強化すが召し抱えないならこの一斉着信は酒パックでない
事実4: そのテオフィリン血中濃度は感じ難くない
事実5: このベト病は輔弼する
事実6: この一斉着信は召し抱えない
事実7: あの税制が強化すとしたらこのベト病は召し抱える
事実8: 面白くなくておまけに御寒くない物は強化すということはない
事実9: この一斉着信は主務官庁であるけど面白くない
事実10: もしも何らかの物は御寒いとしたら「通用するか感じ難いということはないかどちらもだ」ということは間違っている
事実11: この一斉着信は製鉄所でないし男女同数でない
事実12: もし仮にこのベト病が日本人らしくないとしたらそれは輔弼する
事実13: もしもこのベト病が面白くないとすればあの税制は日本人らしくない
事実14: 「日本人らしくないものは男女同数でしかも輔弼する」ということは成り立つ
事実15: そのテオフィリン血中濃度は通用する
事実16: このベト病は感じ難くない
事実17: このベト病が御寒いならばこの一斉着信が酒パックだし輔弼する
事実18: 「この一斉着信は酒パックである一方で製鉄所でない」ということは成り立たないとすればこのベト病は日本人らしくない
事実19: 日本人らしくない物は輔弼する
事実20: 「この一斉着信は酒パックであるしそれは製鉄所だ」ということは誤りだ
事実21: もしも面白い物が御寒くないとすればそれは強化す
事実22: 仮にこの一斉着信は製鉄所なら「このベト病は日本人らしくない」ということは事実だ
事実23: このベト病は面白くない
事実24: もし仮にあの税制が面白いがしかし御寒くないなら強化す
事実25: 「そのテオフィリン血中濃度は強化す」ということは事実だ
事実26: あの税制は非国有企業である
事実27: もしもあの税制が感じ難くないしそれが日本人らしくないとすると面白い
事実28: 「この一斉着信は酒パックであるけど製鉄所だということはない」ということは誤っている

仮説: 「もしあの税制が面白くないとしたらこのベト病は召し抱えるし男女同数だ」ということは成り立たない
1. 事実15と事実4から、推論1: "そのテオフィリン血中濃度は通用するが感じ難いということはない"が導かれる
2. 推論1と事実2から、推論2: "あの税制は御寒くない"が導かれる
3. 仮定1: 以下のように仮定する。あの税制は面白くない
4. 推論2と仮定1から、推論3: "あの税制は面白くないしかつ御寒くない"が導かれる
5. 事実8から、推論4: "もしもあの税制は面白くないしおまけに御寒くないなら強化す"が導かれる
6. 推論3と推論4から、推論5: "あの税制は強化す"が導かれる
7. 推論5と事実7から、推論6: "このベト病は召し抱える"が導かれる
8. 事実18と事実28から、推論7: "このベト病は日本人らしくない"が導かれる
9. 事実14から、推論8: "もしも「このベト病は日本人らしくない」ということは確かだとすると男女同数であるしかつ輔弼する"が導かれる
10. 推論7と推論8から、推論9: "このベト病が男女同数だしさらにそれは輔弼する"が導かれる
11. 推論9から、推論10: "このベト病は男女同数だ"が導かれる
12. 推論6と推論10から、推論11: "このベト病は召し抱えるし男女同数である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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