このＡＢＤは駆け戻らない
fact1: もし仮になんらかの物は程無いとすれば「それは古町でないかまたは残り易くないかあるいは両方ともである」ということは成り立たない fact2: 仮にある物が彗星艦爆でないがしかしそれは内科学だとすると「それは駆け戻らない」ということは成り立つ fact3: もしこのＡＢＤは内科学であるとするとそれはＸ軸方向でなくてその上酸素療法でない fact4: 「賢しい」ものはあるとすると「この県産は対応し易くないし資産保有者だということはない」ということは間違っている fact5: とある物は示せるとすると「それが作り終わるしその上遅れ易くない」ということは成り立たない fact6: このＡＢＤは内科学だ fact7: 「「このＡＢＤはＸ軸方向でないけれど酸素療法である」ということは成り立たない」ということは確かである fact8: この文法は示せる fact9: もし仮に「この文法は作り終わるがそれは遅れ易くない」ということは事実と異なるとすれば作り終わらない fact10: もしこのＡＢＤは駆け戻らないなら「それはＸ軸方向でなくて酸素療法でない」ということは成り立たない fact11: 仮に「その三味線持ちは古町でないかあるいは残り易くないかもしくは両方だ」ということは偽であるとしたらその人気スターはナワ帯であるということはない fact12: このＡＢＤは酸素療法でない fact13: もし仮にこの文法が作り終わらないならその三味線持ちは程無い fact14: もしその人気スターがナワ帯でないとすればあのホームページビルダーは賢しくて澄む fact15: もしも「何かは対応し易くないしかつそれは資産保有者でない」ということは事実と異なるなら「それは資産保有者である」ということは正しい
void -> assump1: 以下のように仮定する。このＡＢＤは駆け戻らない; fact10 & assump1 -> int1: 「「このＡＢＤはＸ軸方向でないしまた酸素療法でない」ということは成り立つ」ということは成り立たない; fact6 & fact3 -> int2: このＡＢＤはＸ軸方向でなくてかつ酸素療法でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact10 & assump1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact6 & fact3 -> int2: (¬{AA}{a} & ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このＡＢＤは駆け戻らない
fact18 -> int4: もしこのＡＢＤが彗星艦爆でない一方で内科学だとしたら駆け戻らない; fact23 -> int5: もし「この県産は対応し易くないしかつそれは資産保有者でない」ということは成り立たないなら資産保有者である; fact19 -> int6: もしその三味線持ちは程無いならば「それは古町でないかもしくは残り易くないかもしくはどちらもである」ということは嘘である; fact21 -> int7: もしもこの文法は示せるとしたら「作り終わるしおまけにそれは遅れ易くない」ということは成り立つということはない; int7 & fact20 -> int8: 「この文法は作り終わるがしかし遅れ易くない」ということは成り立つということはない; fact16 & int8 -> int9: この文法は作り終わるということはない; fact24 & int9 -> int10: その三味線持ちは程無い; int6 & int10 -> int11: 「「その三味線持ちは古町でないかまたはそれは残り易くない」ということは成り立たない」ということは偽だということはない; fact17 & int11 -> int12: その人気スターはナワ帯であるということはない; fact25 & int12 -> int13: そのホームページビルダーは賢しくておまけに澄む; int13 -> int14: そのホームページビルダーは賢しい; int14 -> int15: 賢しい物はある; int15 & fact22 -> int16: 「「この県産は対応し易くないし資産保有者でない」ということは確かだ」ということは成り立たない; int5 & int16 -> int17: この県産は資産保有者である; int17 -> int18: 「資産保有者である」ものはある;
$facts$ = fact1: もし仮になんらかの物は程無いとすれば「それは古町でないかまたは残り易くないかあるいは両方ともである」ということは成り立たない fact2: 仮にある物が彗星艦爆でないがしかしそれは内科学だとすると「それは駆け戻らない」ということは成り立つ fact3: もしこのＡＢＤは内科学であるとするとそれはＸ軸方向でなくてその上酸素療法でない fact4: 「賢しい」ものはあるとすると「この県産は対応し易くないし資産保有者だということはない」ということは間違っている fact5: とある物は示せるとすると「それが作り終わるしその上遅れ易くない」ということは成り立たない fact6: このＡＢＤは内科学だ fact7: 「「このＡＢＤはＸ軸方向でないけれど酸素療法である」ということは成り立たない」ということは確かである fact8: この文法は示せる fact9: もし仮に「この文法は作り終わるがそれは遅れ易くない」ということは事実と異なるとすれば作り終わらない fact10: もしこのＡＢＤは駆け戻らないなら「それはＸ軸方向でなくて酸素療法でない」ということは成り立たない fact11: 仮に「その三味線持ちは古町でないかあるいは残り易くないかもしくは両方だ」ということは偽であるとしたらその人気スターはナワ帯であるということはない fact12: このＡＢＤは酸素療法でない fact13: もし仮にこの文法が作り終わらないならその三味線持ちは程無い fact14: もしその人気スターがナワ帯でないとすればあのホームページビルダーは賢しくて澄む fact15: もしも「何かは対応し易くないしかつそれは資産保有者でない」ということは事実と異なるなら「それは資産保有者である」ということは正しい ; $hypothesis$ = このＡＢＤは駆け戻らない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＡＢＤは駆け戻らない; fact10 & assump1 -> int1: 「「このＡＢＤはＸ軸方向でないしまた酸素療法でない」ということは成り立つ」ということは成り立たない; fact6 & fact3 -> int2: このＡＢＤはＸ軸方向でなくてかつ酸素療法でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は程無いとすれば「それは古町でないかまたは残り易くないかあるいは両方ともである」ということは成り立たない
事実2: 仮にある物が彗星艦爆でないがしかしそれは内科学だとすると「それは駆け戻らない」ということは成り立つ
事実3: もしこのＡＢＤは内科学であるとするとそれはＸ軸方向でなくてその上酸素療法でない
事実4: 「賢しい」ものはあるとすると「この県産は対応し易くないし資産保有者だということはない」ということは間違っている
事実5: とある物は示せるとすると「それが作り終わるしその上遅れ易くない」ということは成り立たない
事実6: このＡＢＤは内科学だ
事実7: 「「このＡＢＤはＸ軸方向でないけれど酸素療法である」ということは成り立たない」ということは確かである
事実8: この文法は示せる
事実9: もし仮に「この文法は作り終わるがそれは遅れ易くない」ということは事実と異なるとすれば作り終わらない
事実10: もしこのＡＢＤは駆け戻らないなら「それはＸ軸方向でなくて酸素療法でない」ということは成り立たない
事実11: 仮に「その三味線持ちは古町でないかあるいは残り易くないかもしくは両方だ」ということは偽であるとしたらその人気スターはナワ帯であるということはない
事実12: このＡＢＤは酸素療法でない
事実13: もし仮にこの文法が作り終わらないならその三味線持ちは程無い
事実14: もしその人気スターがナワ帯でないとすればあのホームページビルダーは賢しくて澄む
事実15: もしも「何かは対応し易くないしかつそれは資産保有者でない」ということは事実と異なるなら「それは資産保有者である」ということは正しい

仮説: このＡＢＤは駆け戻らない
1. 仮定1: 以下のように仮定する。このＡＢＤは駆け戻らない
2. 事実10と仮定1から、推論1: "「「このＡＢＤはＸ軸方向でないしまた酸素療法でない」ということは成り立つ」ということは成り立たない"が導かれる
3. 事実6と事実3から、推論2: "このＡＢＤはＸ軸方向でなくてかつ酸素療法でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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