「この六波羅探題は観察し易いかまたは辛過ぎる」ということは偽である
fact1: 仮にあの業績給が取っ付き難くないならばあの気胸は取っ付き難くない fact2: この気胸は計算すらない fact3: この気胸はアンシャン・レジーム期だが取っ付き難いということはない fact4: あの業績給は観察し易い fact5: この気胸は抗炎症剤だ fact6: あの業績給が小賢しくないならアンシャン・レジーム期でない fact7: もしも「ある物は抗炎症剤であるし加えてせこい」ということは嘘だとするとそれは小賢しくない fact8: この気胸は咲き競うがしかしファイルアクセスであるということはない fact9: 仮にあの業績給が観察し易いとすればこの六波羅探題はせこい fact10: もしもこの気胸が取っ付き難いということはないとすればあの六波羅探題は取っ付き難くなくて観察し易いということはない fact11: この六波羅探題はせこい fact12: 小賢しくない物はファイルアクセスである fact13: 仮に「この三山は計算すらない」ということは真実だとすれば「「あの業績給は抗炎症剤だしせこい」ということは成り立つ」ということは偽だ fact14: もしこの三山はせこくないとするとあの業績給はせこいということはなくてかつ小賢しくない fact15: もし仮にこの三山が取っ付き難くないならそれはアンシャン・レジーム期だ fact16: この気胸が取っ付き難くないとすればこの三山は取っ付き難くないし加えて計算すということはない fact17: あの業績給がファイルアクセスだとしたらこの六波羅探題は辛過ぎる fact18: もしもこの六波羅探題は観察し易くないならば「アンシャン・レジーム期でない」ということは誤っていない fact19: この三山は辛過ぎるかあるいは計算すか両方ともだ fact20: この三山はファイルアクセスでない fact21: もし仮になにかはアンシャン・レジーム期であるということはないなら「小賢しくてさらに失踪者である」ということは成り立たない fact22: 仮にあの業績給が計算すということはないとするとこの三山は計算すらないしおまけにせこくない fact23: もし仮に「この気胸は取っ付き難くない」ということは成り立つとすればそれはファイルアクセスであるということはない
fact3 -> int1: この気胸は取っ付き難くない; int1 & fact16 -> int2: この三山は取っ付き難くないし計算すらない; int2 -> int3: この三山は計算すらない; int3 & fact13 -> int4: 「あの業績給が抗炎症剤だしさらにそれはせこい」ということは誤っている; fact7 -> int5: 「あの業績給は抗炎症剤であるししかもせこい」ということは成り立たないとすればそれは小賢しくない; int4 & int5 -> int6: あの業績給は小賢しいということはない; fact12 -> int7: あの業績給が小賢しくないならばファイルアクセスだ; int6 & int7 -> int8: あの業績給はファイルアクセスである; int8 & fact17 -> int9: この六波羅探題は辛過ぎる; int9 -> hypothesis;
「あの後攻は小賢しくてそれは失踪者である」ということは真実でない
fact24 -> int10: もしもこの気胸はアンシャン・レジーム期でないとすれば「それは小賢しくて失踪者だ」ということは誤っている;
$facts$ = fact1: 仮にあの業績給が取っ付き難くないならばあの気胸は取っ付き難くない fact2: この気胸は計算すらない fact3: この気胸はアンシャン・レジーム期だが取っ付き難いということはない fact4: あの業績給は観察し易い fact5: この気胸は抗炎症剤だ fact6: あの業績給が小賢しくないならアンシャン・レジーム期でない fact7: もしも「ある物は抗炎症剤であるし加えてせこい」ということは嘘だとするとそれは小賢しくない fact8: この気胸は咲き競うがしかしファイルアクセスであるということはない fact9: 仮にあの業績給が観察し易いとすればこの六波羅探題はせこい fact10: もしもこの気胸が取っ付き難いということはないとすればあの六波羅探題は取っ付き難くなくて観察し易いということはない fact11: この六波羅探題はせこい fact12: 小賢しくない物はファイルアクセスである fact13: 仮に「この三山は計算すらない」ということは真実だとすれば「「あの業績給は抗炎症剤だしせこい」ということは成り立つ」ということは偽だ fact14: もしこの三山はせこくないとするとあの業績給はせこいということはなくてかつ小賢しくない fact15: もし仮にこの三山が取っ付き難くないならそれはアンシャン・レジーム期だ fact16: この気胸が取っ付き難くないとすればこの三山は取っ付き難くないし加えて計算すということはない fact17: あの業績給がファイルアクセスだとしたらこの六波羅探題は辛過ぎる fact18: もしもこの六波羅探題は観察し易くないならば「アンシャン・レジーム期でない」ということは誤っていない fact19: この三山は辛過ぎるかあるいは計算すか両方ともだ fact20: この三山はファイルアクセスでない fact21: もし仮になにかはアンシャン・レジーム期であるということはないなら「小賢しくてさらに失踪者である」ということは成り立たない fact22: 仮にあの業績給が計算すということはないとするとこの三山は計算すらないしおまけにせこくない fact23: もし仮に「この気胸は取っ付き難くない」ということは成り立つとすればそれはファイルアクセスであるということはない ; $hypothesis$ = 「この六波羅探題は観察し易いかまたは辛過ぎる」ということは偽である ; $proof$ = 
fact3 -> int1: この気胸は取っ付き難くない; int1 & fact16 -> int2: この三山は取っ付き難くないし計算すらない; int2 -> int3: この三山は計算すらない; int3 & fact13 -> int4: 「あの業績給が抗炎症剤だしさらにそれはせこい」ということは誤っている; fact7 -> int5: 「あの業績給は抗炎症剤であるししかもせこい」ということは成り立たないとすればそれは小賢しくない; int4 & int5 -> int6: あの業績給は小賢しいということはない; fact12 -> int7: あの業績給が小賢しくないならばファイルアクセスだ; int6 & int7 -> int8: あの業績給はファイルアクセスである; int8 & fact17 -> int9: この六波羅探題は辛過ぎる; int9 -> 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: もし仮に「この気胸は取っ付き難くない」ということは成り立つとすればそれはファイルアクセスであるということはない

仮説: 「この六波羅探題は観察し易いかまたは辛過ぎる」ということは偽である
1. 事実3から、推論1: "この気胸は取っ付き難くない"が導かれる
2. 推論1と事実16から、推論2: "この三山は取っ付き難くないし計算すらない"が導かれる
3. 推論2から、推論3: "この三山は計算すらない"が導かれる
4. 推論3と事実13から、推論4: "「あの業績給が抗炎症剤だしさらにそれはせこい」ということは誤っている"が導かれる
5. 事実7から、推論5: "「あの業績給は抗炎症剤であるししかもせこい」ということは成り立たないとすればそれは小賢しくない"が導かれる
6. 推論4と推論5から、推論6: "あの業績給は小賢しいということはない"が導かれる
7. 事実12から、推論7: "あの業績給が小賢しくないならばファイルアクセスだ"が導かれる
8. 推論6と推論7から、推論8: "あの業績給はファイルアクセスである"が導かれる
9. 推論8と事実17から、推論9: "この六波羅探題は辛過ぎる"が導かれる
10. 推論9から、仮説が否定される

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