あのヒスタミン遊離作用はまさぐる
fact1: もしも「何らかのものは吐き切る」ということは成り立つならそれは心憎くないしかつ重い fact2: もしもその国際宅配便は遣らかさないなら「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは偽だ fact3: もしなにかは四方山話でないとすると孵るし馴染み深い fact4: このＡＩＤＳ検査は馴染み深い fact5: もし仮にあの日本文化が孵らないとしたらその国際宅配便は遣らかさない fact6: 五十パーセント未満は孵らないし四方山話でない fact7: 「もしも「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは成り立たないならばあのヒスタミン遊離作用はまさぐるということはない」ということは真実だ fact8: あのヒスタミン遊離作用は愛くるしくて孵る fact9: 「全てのものは下前短冊だが算入するということはない」ということは正しい fact10: このＡＩＤＳ検査は項垂れる fact11: もしも「あのヒスタミン遊離作用は遣らかす」ということは成り立つとすれば四方山話である fact12: 仮になんらかのものが項垂れるししかもそれが馴染み深いなら遣らかさない fact13: なにがしかの物は心憎くないけど重いとしたらそれは御与え下さる fact14: あのヒスタミン遊離作用は孵る fact15: もし仮にあの下右が御与え下さるならあの日本文化は五十パーセント未満である fact16: もしもこのＡＩＤＳ検査が遣らかさないならばあのヒスタミン遊離作用は孵る fact17: あのヒスタミン遊離作用が四方山話ならまさぐる fact18: 仮にこのＡＩＤＳ検査が遣らかさないとするとあのヒスタミン遊離作用は遣らかすし孵る
fact10 & fact4 -> int1: このＡＩＤＳ検査が項垂れるしその上それは馴染み深い; fact12 -> int2: もしこのＡＩＤＳ検査が項垂れるしかつ馴染み深いとするとそれは遣らかさない; int1 & int2 -> int3: このＡＩＤＳ検査は遣らかさない; int3 & fact18 -> int4: あのヒスタミン遊離作用は遣らかすしかつ孵る; int4 -> int5: あのヒスタミン遊離作用は遣らかす; int5 & fact11 -> int6: あのヒスタミン遊離作用は四方山話である; int6 & fact17 -> hypothesis;
あのヒスタミン遊離作用はまさぐらない
fact24 -> int7: もしもあの日本文化が五十パーセント未満であるとすれば孵らないしかつそれは四方山話でない; fact26 -> int8: 仮にあの下右は心憎くないが重いならそれは御与え下さる; fact25 -> int9: もしもあの下右が吐き切るとすると心憎いということはなくてかつそれは重い; fact20 -> int10: その二小は下前短冊であるけどそれは算入しない; int10 -> int11: その二小は算入しない; int11 -> int12: 「算入しない」ものはある;
$facts$ = fact1: もしも「何らかのものは吐き切る」ということは成り立つならそれは心憎くないしかつ重い fact2: もしもその国際宅配便は遣らかさないなら「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは偽だ fact3: もしなにかは四方山話でないとすると孵るし馴染み深い fact4: このＡＩＤＳ検査は馴染み深い fact5: もし仮にあの日本文化が孵らないとしたらその国際宅配便は遣らかさない fact6: 五十パーセント未満は孵らないし四方山話でない fact7: 「もしも「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは成り立たないならばあのヒスタミン遊離作用はまさぐるということはない」ということは真実だ fact8: あのヒスタミン遊離作用は愛くるしくて孵る fact9: 「全てのものは下前短冊だが算入するということはない」ということは正しい fact10: このＡＩＤＳ検査は項垂れる fact11: もしも「あのヒスタミン遊離作用は遣らかす」ということは成り立つとすれば四方山話である fact12: 仮になんらかのものが項垂れるししかもそれが馴染み深いなら遣らかさない fact13: なにがしかの物は心憎くないけど重いとしたらそれは御与え下さる fact14: あのヒスタミン遊離作用は孵る fact15: もし仮にあの下右が御与え下さるならあの日本文化は五十パーセント未満である fact16: もしもこのＡＩＤＳ検査が遣らかさないならばあのヒスタミン遊離作用は孵る fact17: あのヒスタミン遊離作用が四方山話ならまさぐる fact18: 仮にこのＡＩＤＳ検査が遣らかさないとするとあのヒスタミン遊離作用は遣らかすし孵る ; $hypothesis$ = あのヒスタミン遊離作用はまさぐる ; $proof$ = 
fact10 & fact4 -> int1: このＡＩＤＳ検査が項垂れるしその上それは馴染み深い; fact12 -> int2: もしこのＡＩＤＳ検査が項垂れるしかつ馴染み深いとするとそれは遣らかさない; int1 & int2 -> int3: このＡＩＤＳ検査は遣らかさない; int3 & fact18 -> int4: あのヒスタミン遊離作用は遣らかすしかつ孵る; int4 -> int5: あのヒスタミン遊離作用は遣らかす; int5 & fact11 -> int6: あのヒスタミン遊離作用は四方山話である; int6 & fact17 -> hypothesis; __PROVED__
事実1: もしも「何らかのものは吐き切る」ということは成り立つならそれは心憎くないしかつ重い
事実2: もしもその国際宅配便は遣らかさないなら「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは偽だ
事実3: もしなにかは四方山話でないとすると孵るし馴染み深い
事実4: このＡＩＤＳ検査は馴染み深い
事実5: もし仮にあの日本文化が孵らないとしたらその国際宅配便は遣らかさない
事実6: 五十パーセント未満は孵らないし四方山話でない
事実7: 「もしも「このＡＩＤＳ検査は馴染み深くて項垂れる」ということは成り立たないならばあのヒスタミン遊離作用はまさぐるということはない」ということは真実だ
事実8: あのヒスタミン遊離作用は愛くるしくて孵る
事実9: 「全てのものは下前短冊だが算入するということはない」ということは正しい
事実10: このＡＩＤＳ検査は項垂れる
事実11: もしも「あのヒスタミン遊離作用は遣らかす」ということは成り立つとすれば四方山話である
事実12: 仮になんらかのものが項垂れるししかもそれが馴染み深いなら遣らかさない
事実13: なにがしかの物は心憎くないけど重いとしたらそれは御与え下さる
事実14: あのヒスタミン遊離作用は孵る
事実15: もし仮にあの下右が御与え下さるならあの日本文化は五十パーセント未満である
事実16: もしもこのＡＩＤＳ検査が遣らかさないならばあのヒスタミン遊離作用は孵る
事実17: あのヒスタミン遊離作用が四方山話ならまさぐる
事実18: 仮にこのＡＩＤＳ検査が遣らかさないとするとあのヒスタミン遊離作用は遣らかすし孵る

仮説: あのヒスタミン遊離作用はまさぐる
1. 事実10と事実4から、推論1: "このＡＩＤＳ検査が項垂れるしその上それは馴染み深い"が導かれる
2. 事実12から、推論2: "もしこのＡＩＤＳ検査が項垂れるしかつ馴染み深いとするとそれは遣らかさない"が導かれる
3. 推論1と推論2から、推論3: "このＡＩＤＳ検査は遣らかさない"が導かれる
4. 推論3と事実18から、推論4: "あのヒスタミン遊離作用は遣らかすしかつ孵る"が導かれる
5. 推論4から、推論5: "あのヒスタミン遊離作用は遣らかす"が導かれる
6. 推論5と事実11から、推論6: "あのヒスタミン遊離作用は四方山話である"が導かれる
7. 推論6と事実17から、仮説が導かれる

よって、仮説が証明されました。