この読み取り専用は腹黒いけれどそれはイフでない
fact1: もしもこの小児発達が低しないとするとそれは花姿で更に減軽する fact2: 仮にこの小児発達は天国でないとすれば「この読み取り専用は腹黒いしまたそれはイフである」ということは事実と異なる fact3: 「この読み取り専用はＭＯＬでない」ということは本当だ fact4: もしなにがしかのものは花姿で減軽するとすればそれは天国でない fact5: もし仮に「この小児発達は低しない」ということは真実だとすればそれは減軽する fact6: 「「この読み取り専用はイフだけれどそれは減軽しない」ということは偽である」ということは確かである fact7: もしもこの小児発達は花姿でないなら「この読み取り専用は天国だ一方で減軽しない」ということは間違いである fact8: この小児発達は低しない fact9: 「この読み取り専用はイフでない」ということは真実だとしたら減軽するし天国だ fact10: この小児発達は減軽する fact11: もしこの読み取り専用は低しないなら「この小児発達は腹黒いがそれは天国でない」ということは成り立たない fact12: もし仮になにがしかの物は天国でない一方で仕方無いとすると「それは低しない」ということは確かである fact13: 低しということはない物は腹黒いけどイフだということはない fact14: 仮にこの小児発達は天国でないなら「この読み取り専用は腹黒いけどイフでない」ということは間違っている fact15: 「この読み取り専用は腹黒いしその上イフだ」ということは成り立つということはない fact16: とあるものが出所出来ないとすればそれは天国でない一方で仕方無い fact17: 腹黒いものが低しとするとそれは花姿でない
fact1 & fact8 -> int1: この小児発達は花姿であるししかもそれは減軽する; fact4 -> int2: 仮にこの小児発達が花姿でその上それが減軽するとすると天国であるということはない; int1 & int2 -> int3: 「この小児発達は天国でない」ということは確かである; int3 & fact14 -> hypothesis;
fact1 & fact8 -> int1: ({AA}{a} & {AB}{a}); fact4 -> int2: ({AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact14 -> hypothesis;
この読み取り専用は腹黒いがイフでない
fact18 -> int4: この読み取り専用が低しないとしたらそれは腹黒いけどイフでない; fact19 -> int5: もし仮にこの読み取り専用が天国でない一方でそれは仕方無いとしたら「それは低しない」ということは間違いでない; fact20 -> int6: もしもこの読み取り専用が出所出来るということはないなら天国でない一方で仕方無い;
$facts$ = fact1: もしもこの小児発達が低しないとするとそれは花姿で更に減軽する fact2: 仮にこの小児発達は天国でないとすれば「この読み取り専用は腹黒いしまたそれはイフである」ということは事実と異なる fact3: 「この読み取り専用はＭＯＬでない」ということは本当だ fact4: もしなにがしかのものは花姿で減軽するとすればそれは天国でない fact5: もし仮に「この小児発達は低しない」ということは真実だとすればそれは減軽する fact6: 「「この読み取り専用はイフだけれどそれは減軽しない」ということは偽である」ということは確かである fact7: もしもこの小児発達は花姿でないなら「この読み取り専用は天国だ一方で減軽しない」ということは間違いである fact8: この小児発達は低しない fact9: 「この読み取り専用はイフでない」ということは真実だとしたら減軽するし天国だ fact10: この小児発達は減軽する fact11: もしこの読み取り専用は低しないなら「この小児発達は腹黒いがそれは天国でない」ということは成り立たない fact12: もし仮になにがしかの物は天国でない一方で仕方無いとすると「それは低しない」ということは確かである fact13: 低しということはない物は腹黒いけどイフだということはない fact14: 仮にこの小児発達は天国でないなら「この読み取り専用は腹黒いけどイフでない」ということは間違っている fact15: 「この読み取り専用は腹黒いしその上イフだ」ということは成り立つということはない fact16: とあるものが出所出来ないとすればそれは天国でない一方で仕方無い fact17: 腹黒いものが低しとするとそれは花姿でない ; $hypothesis$ = この読み取り専用は腹黒いけれどそれはイフでない ; $proof$ = 
fact1 & fact8 -> int1: この小児発達は花姿であるししかもそれは減軽する; fact4 -> int2: 仮にこの小児発達が花姿でその上それが減軽するとすると天国であるということはない; int1 & int2 -> int3: 「この小児発達は天国でない」ということは確かである; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: もしもこの小児発達が低しないとするとそれは花姿で更に減軽する
事実2: 仮にこの小児発達は天国でないとすれば「この読み取り専用は腹黒いしまたそれはイフである」ということは事実と異なる
事実3: 「この読み取り専用はＭＯＬでない」ということは本当だ
事実4: もしなにがしかのものは花姿で減軽するとすればそれは天国でない
事実5: もし仮に「この小児発達は低しない」ということは真実だとすればそれは減軽する
事実6: 「「この読み取り専用はイフだけれどそれは減軽しない」ということは偽である」ということは確かである
事実7: もしもこの小児発達は花姿でないなら「この読み取り専用は天国だ一方で減軽しない」ということは間違いである
事実8: この小児発達は低しない
事実9: 「この読み取り専用はイフでない」ということは真実だとしたら減軽するし天国だ
事実10: この小児発達は減軽する
事実11: もしこの読み取り専用は低しないなら「この小児発達は腹黒いがそれは天国でない」ということは成り立たない
事実12: もし仮になにがしかの物は天国でない一方で仕方無いとすると「それは低しない」ということは確かである
事実13: 低しということはない物は腹黒いけどイフだということはない
事実14: 仮にこの小児発達は天国でないなら「この読み取り専用は腹黒いけどイフでない」ということは間違っている
事実15: 「この読み取り専用は腹黒いしその上イフだ」ということは成り立つということはない
事実16: とあるものが出所出来ないとすればそれは天国でない一方で仕方無い
事実17: 腹黒いものが低しとするとそれは花姿でない

仮説: この読み取り専用は腹黒いけれどそれはイフでない
1. 事実1と事実8から、推論1: "この小児発達は花姿であるししかもそれは減軽する"が導かれる
2. 事実4から、推論2: "仮にこの小児発達が花姿でその上それが減軽するとすると天国であるということはない"が導かれる
3. 推論1と推論2から、推論3: "「この小児発達は天国でない」ということは確かである"が導かれる
4. 推論3と事実14から、仮説が否定される

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