そのＦＯＭＡは打ち上がり易い
fact1: 「受けるし中央財政な」物があるならこのエアは射竦める fact2: 仮に「そのＦＯＭＡは特筆でない一方で子供らしい」ということは確かなら移り難い fact3: もしもそのＦＯＭＡは執行部門でないとしたら特筆でないし子供らしくない fact4: あの意気塵は子供らしくない fact5: もしも「「「受けないしまた酔い易くない」ということは誤りであるということはない」ということは嘘である」物があるとしたらこの仮屋は受ける fact6: 仮にあのテストデータはコンセントでないならば「それは受けるということはないし酔い易くない」ということは成り立つということはない fact7: もし仮に「なんらかの物は経済制裁でないけれど桟敷だ」ということは成り立たないならばそれは執行部門である fact8: この仮屋は左上角でないとすれば「このエアは経済制裁でないけれど桟敷だ」ということは嘘である fact9: もし仮に何らかのものが受けるとしたらそれは左上角でなくてしかもそれは中央財政でない fact10: そのＦＯＭＡは射竦めない fact11: そのＦＯＭＡは執行部門でない fact12: もしもそのＦＯＭＡは射竦めないけれど移り難いならそれは打ち上がり易くない fact13: 仮に「このエアは射竦めるしおまけに打ち上がり易い」ということは偽でないとしたらその笊碁は射竦めるということはない fact14: もしも「何かは射竦めないけれど執行部門である」ということは確かであるとしたら特筆である fact15: もし仮になにがしかのものは特筆でなくてかつ子供らしくないならば移り難い fact16: 「このエアは左上角だ一方で経済制裁でない」ということは事実と異なる fact17: もし「「文化・情報でなくて酔い潰れるということはない」ということは誤っている」ものがあるならあのテストデータはコンセントでない fact18: 「「文化・情報でないしさらに酔い潰れない」ということは本当でない」物はある fact19: あの評価値は射竦めない fact20: もし仮にそのＦＯＭＡが特筆であるけれど子供らしくないとすれば「移り難い」ということは正しい fact21: もし仮に「このエアは左上角だが経済制裁でない」ということは成り立つということはないとするとそれは打ち上がり易い
fact15 -> int1: もし仮にそのＦＯＭＡは特筆でないし子供らしくないとしたらそれは移り難い; fact3 & fact11 -> int2: そのＦＯＭＡは特筆でないし子供らしくない; int1 & int2 -> int3: そのＦＯＭＡは移り難い; int3 & fact10 -> int4: そのＦＯＭＡは射竦めないけどそれは移り難い; int4 & fact12 -> hypothesis;
その笊碁は射竦めないしかつ桟敷でない
fact23 & fact22 -> int5: このエアは打ち上がり易い;
$facts$ = fact1: 「受けるし中央財政な」物があるならこのエアは射竦める fact2: 仮に「そのＦＯＭＡは特筆でない一方で子供らしい」ということは確かなら移り難い fact3: もしもそのＦＯＭＡは執行部門でないとしたら特筆でないし子供らしくない fact4: あの意気塵は子供らしくない fact5: もしも「「「受けないしまた酔い易くない」ということは誤りであるということはない」ということは嘘である」物があるとしたらこの仮屋は受ける fact6: 仮にあのテストデータはコンセントでないならば「それは受けるということはないし酔い易くない」ということは成り立つということはない fact7: もし仮に「なんらかの物は経済制裁でないけれど桟敷だ」ということは成り立たないならばそれは執行部門である fact8: この仮屋は左上角でないとすれば「このエアは経済制裁でないけれど桟敷だ」ということは嘘である fact9: もし仮に何らかのものが受けるとしたらそれは左上角でなくてしかもそれは中央財政でない fact10: そのＦＯＭＡは射竦めない fact11: そのＦＯＭＡは執行部門でない fact12: もしもそのＦＯＭＡは射竦めないけれど移り難いならそれは打ち上がり易くない fact13: 仮に「このエアは射竦めるしおまけに打ち上がり易い」ということは偽でないとしたらその笊碁は射竦めるということはない fact14: もしも「何かは射竦めないけれど執行部門である」ということは確かであるとしたら特筆である fact15: もし仮になにがしかのものは特筆でなくてかつ子供らしくないならば移り難い fact16: 「このエアは左上角だ一方で経済制裁でない」ということは事実と異なる fact17: もし「「文化・情報でなくて酔い潰れるということはない」ということは誤っている」ものがあるならあのテストデータはコンセントでない fact18: 「「文化・情報でないしさらに酔い潰れない」ということは本当でない」物はある fact19: あの評価値は射竦めない fact20: もし仮にそのＦＯＭＡが特筆であるけれど子供らしくないとすれば「移り難い」ということは正しい fact21: もし仮に「このエアは左上角だが経済制裁でない」ということは成り立つということはないとするとそれは打ち上がり易い ; $hypothesis$ = そのＦＯＭＡは打ち上がり易い ; $proof$ = 
fact15 -> int1: もし仮にそのＦＯＭＡは特筆でないし子供らしくないとしたらそれは移り難い; fact3 & fact11 -> int2: そのＦＯＭＡは特筆でないし子供らしくない; int1 & int2 -> int3: そのＦＯＭＡは移り難い; int3 & fact10 -> int4: そのＦＯＭＡは射竦めないけどそれは移り難い; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: 「受けるし中央財政な」物があるならこのエアは射竦める
事実2: 仮に「そのＦＯＭＡは特筆でない一方で子供らしい」ということは確かなら移り難い
事実3: もしもそのＦＯＭＡは執行部門でないとしたら特筆でないし子供らしくない
事実4: あの意気塵は子供らしくない
事実5: もしも「「「受けないしまた酔い易くない」ということは誤りであるということはない」ということは嘘である」物があるとしたらこの仮屋は受ける
事実6: 仮にあのテストデータはコンセントでないならば「それは受けるということはないし酔い易くない」ということは成り立つということはない
事実7: もし仮に「なんらかの物は経済制裁でないけれど桟敷だ」ということは成り立たないならばそれは執行部門である
事実8: この仮屋は左上角でないとすれば「このエアは経済制裁でないけれど桟敷だ」ということは嘘である
事実9: もし仮に何らかのものが受けるとしたらそれは左上角でなくてしかもそれは中央財政でない
事実10: そのＦＯＭＡは射竦めない
事実11: そのＦＯＭＡは執行部門でない
事実12: もしもそのＦＯＭＡは射竦めないけれど移り難いならそれは打ち上がり易くない
事実13: 仮に「このエアは射竦めるしおまけに打ち上がり易い」ということは偽でないとしたらその笊碁は射竦めるということはない
事実14: もしも「何かは射竦めないけれど執行部門である」ということは確かであるとしたら特筆である
事実15: もし仮になにがしかのものは特筆でなくてかつ子供らしくないならば移り難い
事実16: 「このエアは左上角だ一方で経済制裁でない」ということは事実と異なる
事実17: もし「「文化・情報でなくて酔い潰れるということはない」ということは誤っている」ものがあるならあのテストデータはコンセントでない
事実18: 「「文化・情報でないしさらに酔い潰れない」ということは本当でない」物はある
事実19: あの評価値は射竦めない
事実20: もし仮にそのＦＯＭＡが特筆であるけれど子供らしくないとすれば「移り難い」ということは正しい
事実21: もし仮に「このエアは左上角だが経済制裁でない」ということは成り立つということはないとするとそれは打ち上がり易い

仮説: そのＦＯＭＡは打ち上がり易い
1. 事実15から、推論1: "もし仮にそのＦＯＭＡは特筆でないし子供らしくないとしたらそれは移り難い"が導かれる
2. 事実3と事実11から、推論2: "そのＦＯＭＡは特筆でないし子供らしくない"が導かれる
3. 推論1と推論2から、推論3: "そのＦＯＭＡは移り難い"が導かれる
4. 推論3と事実10から、推論4: "そのＦＯＭＡは射竦めないけどそれは移り難い"が導かれる
5. 推論4と事実12から、仮説が否定される

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