この確定保険料は観察力だ
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: その原位置封じ込めはシカリ派である
fact24 -> int1: 「この十二万石余りは丸坊主である」ということは成り立つ; int1 & fact23 -> int2: その原位置封じ込めは滞り易い; int2 & fact21 -> int3: この確定保険料は取り出し易い; fact10 -> int4: もしも「この確定保険料はシカリ派だがしかしぎこちなくない」ということは誤っていれば「ぎこちない」ということは誤りでない; fact2 -> int5: 仮にこの確定保険料は決裁するとしたら「シカリ派でぎこちなくない」ということは成り立たない; int5 & fact26 -> int6: 「この確定保険料はシカリ派であるがしかしぎこちないということはない」ということは成り立たない; int4 & int6 -> int7: この確定保険料はぎこちない; int3 & int7 -> int8: この確定保険料は取り出し易いしその上ぎこちない; fact1 -> int9: もしもこの確定保険料は取り出し易くてぎこちないとするとそれは観察力でない; int8 & int9 -> hypothesis;
この確定保険料は観察力である
fact29 -> int10: もしこの確定保険料が白いならばそれは観察力だ; fact30 -> int11: もしもこの確定保険料が滞り易いということはないとすると丸坊主でおまけにそれは白い; fact31 -> int12: 「この確定保険料は取り出し易いかまたはぎこちないということはない」ということは成り立たないなら滞り易いということはない; fact34 -> int13: もしその原位置封じ込めが対応し切れるならそれは泣ける; fact33 -> int14: 「もし「その原位置封じ込めは酸欠でないかあるいは保証出来ないかまたは両方ともだ」ということは確かでないならばあの原位置封じ込めは対応し切れる」ということは確かである;
$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: その原位置封じ込めはシカリ派である ; $hypothesis$ = この確定保険料は観察力だ ; $proof$ = 
fact24 -> int1: 「この十二万石余りは丸坊主である」ということは成り立つ; int1 & fact23 -> int2: その原位置封じ込めは滞り易い; int2 & fact21 -> int3: この確定保険料は取り出し易い; fact10 -> int4: もしも「この確定保険料はシカリ派だがしかしぎこちなくない」ということは誤っていれば「ぎこちない」ということは誤りでない; fact2 -> int5: 仮にこの確定保険料は決裁するとしたら「シカリ派でぎこちなくない」ということは成り立たない; int5 & fact26 -> int6: 「この確定保険料はシカリ派であるがしかしぎこちないということはない」ということは成り立たない; int4 & int6 -> int7: この確定保険料はぎこちない; int3 & int7 -> int8: この確定保険料は取り出し易いしその上ぎこちない; fact1 -> int9: もしもこの確定保険料は取り出し易くてぎこちないとするとそれは観察力でない; int8 & 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: もし仮にこの十二万石余りが丸坊主だとしたらその原位置封じ込めは滞り易い
事実24: この十二万石余りは白くて更に丸坊主である
事実25: この十二万石余りは白い
事実26: この確定保険料は決裁する
事実27: その原位置封じ込めはシカリ派である

仮説: この確定保険料は観察力だ
1. 事実24から、推論1: "「この十二万石余りは丸坊主である」ということは成り立つ"が導かれる
2. 推論1と事実23から、推論2: "その原位置封じ込めは滞り易い"が導かれる
3. 推論2と事実21から、推論3: "この確定保険料は取り出し易い"が導かれる
4. 事実10から、推論4: "もしも「この確定保険料はシカリ派だがしかしぎこちなくない」ということは誤っていれば「ぎこちない」ということは誤りでない"が導かれる
5. 事実2から、推論5: "仮にこの確定保険料は決裁するとしたら「シカリ派でぎこちなくない」ということは成り立たない"が導かれる
6. 推論5と事実26から、推論6: "「この確定保険料はシカリ派であるがしかしぎこちないということはない」ということは成り立たない"が導かれる
7. 推論4と推論6から、推論7: "この確定保険料はぎこちない"が導かれる
8. 推論3と推論7から、推論8: "この確定保険料は取り出し易いしその上ぎこちない"が導かれる
9. 事実1から、推論9: "もしもこの確定保険料は取り出し易くてぎこちないとするとそれは観察力でない"が導かれる
10. 推論8と推論9から、仮説が否定される

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