「あのマヤライヤガは戦い取るということはないけどインターデビット決済サービスだ」ということは間違いだ
fact1: 仮に蓄財はＰパーツでないとすると「そのＣＡＳＳは生命予後でない」ということは本当だ fact2: あのマヤライヤガはインターデビット決済サービスだ fact3: もしも「「Ｐパーツでないし生命予後でない」ということは成り立たない」物があるとすればあのマヤライヤガは蓄財である fact4: なにがしかのものが戦い取るしその上それはインターデビット決済サービスである fact5: 「蓄財である」ものはある fact6: もしもとある物は跳び越えないとしたら「それはＰパーツでなくてそれは生命予後でない」ということは偽である fact7: なんらかのものは戦い取るがインターデビット決済サービスでない fact8: あらゆる物は悔しくない fact9: 仮になんらかの物は悔しいということはないとしたら「それは女らしくないしまた跳び越える」ということは偽だ fact10: 「もしもその割烹が蓄財であるとしたらその割烹は戦い取らないけど根強い」ということは確かだ fact11: 何かは蓄財であるしそれにそれはＰパーツだ fact12: もしも「何かは女らしくないけれど跳び越える」ということは間違いであるなら跳び越えるということはない fact13: 「「Ｐパーツでない」ということは事実である」物はある fact14: 「インターデビット決済サービスであるしまた生命予後でない」物はある fact15: そのＣＡＳＳが生命予後でないとしたらあのマヤライヤガは戦い取らない fact16: 何かは蓄財だがＰパーツでない
fact16 & fact1 -> int1: そのＣＡＳＳは生命予後でない; int1 & fact15 -> int2: あのマヤライヤガは戦い取らない; int2 & fact2 -> hypothesis;
fact16 & fact1 -> int1: ¬{C}{a}; int1 & fact15 -> int2: ¬{D}{b}; int2 & fact2 -> hypothesis;
「あのマヤライヤガは戦い取らない一方でインターデビット決済サービスである」ということは嘘だ
fact17 -> int3: もしもそのＣＡＳＳは跳び越えないなら「Ｐパーツでないしその上生命予後でない」ということは真実でない; fact18 -> int4: この入母屋作りは悔しいということはないとすれば「女らしくないけど跳び越える」ということは成り立たない; fact19 -> int5: この入母屋作りは悔しくない; int4 & int5 -> int6: 「この入母屋作りは女らしくない一方で跳び越える」ということは事実と異なる; int6 -> int7: それは女らしくない一方で跳び越えるという物はない; int7 -> int8: 「そのＣＡＳＳは女らしくないがしかし跳び越える」ということは成り立たない; fact21 -> int9: 仮に「そのＣＡＳＳは女らしくないがそれは跳び越える」ということは成り立たないとしたら跳び越えない; int8 & int9 -> int10: そのＣＡＳＳは跳び越えない; int3 & int10 -> int11: 「そのＣＡＳＳはＰパーツでないしまた生命予後でない」ということは間違いだ; int11 -> int12: 「「Ｐパーツでないししかも生命予後でない」ということは誤りである」ものはある; int12 & fact20 -> int13: あのマヤライヤガは蓄財だ;
$facts$ = fact1: 仮に蓄財はＰパーツでないとすると「そのＣＡＳＳは生命予後でない」ということは本当だ fact2: あのマヤライヤガはインターデビット決済サービスだ fact3: もしも「「Ｐパーツでないし生命予後でない」ということは成り立たない」物があるとすればあのマヤライヤガは蓄財である fact4: なにがしかのものが戦い取るしその上それはインターデビット決済サービスである fact5: 「蓄財である」ものはある fact6: もしもとある物は跳び越えないとしたら「それはＰパーツでなくてそれは生命予後でない」ということは偽である fact7: なんらかのものは戦い取るがインターデビット決済サービスでない fact8: あらゆる物は悔しくない fact9: 仮になんらかの物は悔しいということはないとしたら「それは女らしくないしまた跳び越える」ということは偽だ fact10: 「もしもその割烹が蓄財であるとしたらその割烹は戦い取らないけど根強い」ということは確かだ fact11: 何かは蓄財であるしそれにそれはＰパーツだ fact12: もしも「何かは女らしくないけれど跳び越える」ということは間違いであるなら跳び越えるということはない fact13: 「「Ｐパーツでない」ということは事実である」物はある fact14: 「インターデビット決済サービスであるしまた生命予後でない」物はある fact15: そのＣＡＳＳが生命予後でないとしたらあのマヤライヤガは戦い取らない fact16: 何かは蓄財だがＰパーツでない ; $hypothesis$ = 「あのマヤライヤガは戦い取るということはないけどインターデビット決済サービスだ」ということは間違いだ ; $proof$ = 
fact16 & fact1 -> int1: そのＣＡＳＳは生命予後でない; int1 & fact15 -> int2: あのマヤライヤガは戦い取らない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に蓄財はＰパーツでないとすると「そのＣＡＳＳは生命予後でない」ということは本当だ
事実2: あのマヤライヤガはインターデビット決済サービスだ
事実3: もしも「「Ｐパーツでないし生命予後でない」ということは成り立たない」物があるとすればあのマヤライヤガは蓄財である
事実4: なにがしかのものが戦い取るしその上それはインターデビット決済サービスである
事実5: 「蓄財である」ものはある
事実6: もしもとある物は跳び越えないとしたら「それはＰパーツでなくてそれは生命予後でない」ということは偽である
事実7: なんらかのものは戦い取るがインターデビット決済サービスでない
事実8: あらゆる物は悔しくない
事実9: 仮になんらかの物は悔しいということはないとしたら「それは女らしくないしまた跳び越える」ということは偽だ
事実10: 「もしもその割烹が蓄財であるとしたらその割烹は戦い取らないけど根強い」ということは確かだ
事実11: 何かは蓄財であるしそれにそれはＰパーツだ
事実12: もしも「何かは女らしくないけれど跳び越える」ということは間違いであるなら跳び越えるということはない
事実13: 「「Ｐパーツでない」ということは事実である」物はある
事実14: 「インターデビット決済サービスであるしまた生命予後でない」物はある
事実15: そのＣＡＳＳが生命予後でないとしたらあのマヤライヤガは戦い取らない
事実16: 何かは蓄財だがＰパーツでない

仮説: 「あのマヤライヤガは戦い取るということはないけどインターデビット決済サービスだ」ということは間違いだ
1. 事実16と事実1から、推論1: "そのＣＡＳＳは生命予後でない"が導かれる
2. 推論1と事実15から、推論2: "あのマヤライヤガは戦い取らない"が導かれる
3. 推論2と事実2から、仮説が否定される

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