あの守護霊様守護神様は放擲するがしかしパウダー掛けでない
fact1: もし「好ましが独り占め出来ない」ものがあるとすればその相性負けは拡大・発展しない fact2: この三角材は疎ましい fact3: もしこの撮影権は盛り付けるとすると「パウダー掛けである」ということは本当だ fact4: あの守護霊様守護神様は薄青くない fact5: この湛水が空く終わらないならこの三角材は薄青いかまたは殴打するかもしくはどちらもである fact6: この三角材は追求すらない fact7: もしもこの三角材が放擲するとすれば乙名部屋である fact8: もしなにかは殴打するなら放擲するけれどパウダー掛けであるということはない fact9: もしあの守護霊様守護神様は空く終わるなら「放擲する」ということは正しい fact10: あの守護霊様守護神様は御固いがしかしパウダー掛けであるということはない fact11: もしも「拡大・発展しない」物はあれば「この湛水は拡大・発展するが面白おかしいということはない」ということは間違いである fact12: その痩身法は拡大・発展しない fact13: もし仮にあの守護霊様守護神様が放擲する一方でパウダー掛けでないとすればこの三角材は薄青い fact14: 仮にこの三角材がパウダー掛けである一方で薄青くないとしたらあの守護霊様守護神様は空く終わる fact15: あの補償額は好まし fact16: あの補償額はネーミングであるしまた異性体である fact17: 仮にこの三角材が放擲するがしかし殴打するということはないならばあの守護霊様守護神様は拡大・発展する fact18: 仮にあの守護霊様守護神様が放擲するしおまけにそれはパウダー掛けならば「この三角材は薄青い」ということは確かである fact19: もしも「この三角材は殴打する」ということは成り立つとすれば空く終わる fact20: もし仮にこの三角材が薄青いとするとそれは殴打する fact21: もしもあの補償額がネーミングで加えて異性体であるならそれは独り占め出来ない fact22: もしもこの三角材が空く終わるなら拡大・発展する fact23: この三角材は拡大・発展しない
void -> assump1: 以下のように仮定する。あの守護霊様守護神様は放擲するけどパウダー掛けでない; fact13 & assump1 -> int1: この三角材は薄青い; int1 & fact20 -> int2: この三角材は殴打する; int2 & fact19 -> int3: この三角材は空く終わる; int3 & fact22 -> int4: この三角材は拡大・発展する; int4 & fact23 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの守護霊様守護神様は放擲するけれどパウダー掛けでない
fact27 -> int6: もし仮にあの守護霊様守護神様が殴打するとしたら放擲するがパウダー掛けでない; fact24 & fact25 -> int7: あの補償額は独り占め出来ない; fact29 & int7 -> int8: あの補償額は好ましけど独り占め出来るということはない; int8 -> int9: なんらかの物は好ましがしかし独り占め出来ない; int9 & fact26 -> int10: その相性負けは拡大・発展するということはない; int10 -> int11: 何らかの物は拡大・発展しない; int11 & fact30 -> int12: 「この湛水は拡大・発展するけど面白おかしくない」ということは成り立つということはない;
$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$ = 
void -> assump1: 以下のように仮定する。あの守護霊様守護神様は放擲するけどパウダー掛けでない; fact13 & assump1 -> int1: この三角材は薄青い; int1 & fact20 -> int2: この三角材は殴打する; int2 & fact19 -> int3: この三角材は空く終わる; int3 & fact22 -> int4: この三角材は拡大・発展する; int4 & fact23 -> int5: これは矛盾である; [assump1] & int5 -> 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. 仮定1: 以下のように仮定する。あの守護霊様守護神様は放擲するけどパウダー掛けでない
2. 事実13と仮定1から、推論1: "この三角材は薄青い"が導かれる
3. 推論1と事実20から、推論2: "この三角材は殴打する"が導かれる
4. 推論2と事実19から、推論3: "この三角材は空く終わる"が導かれる
5. 推論3と事実22から、推論4: "この三角材は拡大・発展する"が導かれる
6. 推論4と事実23から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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