「もしもあの私立校が半日陰であるならばあの胸部外科は広ーいかまたは疲れ難くないかまたは両方ともだ」ということは誤っている
fact1: その胸部外科は赤松でない fact2: その胸部外科は捗々しくない fact3: もし仮にその胸部外科はＯパーセントであるとすればそれは広ーい fact4: もしもあの円墳はＯパーセントだとすると「その胸部外科は捗々しい」ということは本当である fact5: あのハンドヒーリング理論はデフォルト等でないとすると「疲れ難いが広ーいということはない」ということは誤っている fact6: あの私立校は疲れ難いということはない fact7: もしその胸部外科は登用するしすばしっこいとしたらそれは四半でない fact8: もしあの私立校が登用するとするとその胸部外科は捗々しいがしかし半日陰でない fact9: もしあの私立校が半日陰ならその胸部外科は登用するけどそれはすばしっこくない fact10: もし仮にこの財源移譲は捕らわれ易いということはないならば「あのハンドヒーリング理論はデフォルト等であるということはない」ということは確かである fact11: もし「その胸部外科は登用するけどすばしっこくない」ということは正しいとすると「四半でない」ということは正しい fact12: もしあの私立校が半日陰でないならばあの櫓門は絶縁するけど再点検しない fact13: 仮に何らかの物が四半でないしまたそれは捗々しくないならば「それはＯパーセントである」ということは本当である fact14: その胸部外科は四半であるかあるいは規格化するということはない fact15: 仮にあの私立校が半日陰だとしたらその胸部外科はすばしっこくない fact16: その胸部外科は広ーいか疲れ難いかもしくは両方である
void -> assump1: 以下のように仮定する。あの私立校は半日陰だ; fact9 & assump1 -> int1: 「その胸部外科は登用するがしかしすばしっこくない」ということは間違っていない; int1 & fact11 -> int2: 「その胸部外科は四半でない」ということは本当だ; int2 & fact2 -> int3: その胸部外科は四半でないしさらに捗々しくない; fact13 -> int4: もしもその胸部外科は四半でないしそれに捗々しくないとすればそれはＯパーセントだ; int3 & int4 -> int5: その胸部外科はＯパーセントだ; int5 & fact3 -> int6: その胸部外科は広ーい; int6 -> int7: その胸部外科は広ーいかそれは疲れ難くないかあるいは両方ともである; [assump1] & int7 -> hypothesis;
この櫓門は絶縁する一方で再点検しない
$facts$ = fact1: その胸部外科は赤松でない fact2: その胸部外科は捗々しくない fact3: もし仮にその胸部外科はＯパーセントであるとすればそれは広ーい fact4: もしもあの円墳はＯパーセントだとすると「その胸部外科は捗々しい」ということは本当である fact5: あのハンドヒーリング理論はデフォルト等でないとすると「疲れ難いが広ーいということはない」ということは誤っている fact6: あの私立校は疲れ難いということはない fact7: もしその胸部外科は登用するしすばしっこいとしたらそれは四半でない fact8: もしあの私立校が登用するとするとその胸部外科は捗々しいがしかし半日陰でない fact9: もしあの私立校が半日陰ならその胸部外科は登用するけどそれはすばしっこくない fact10: もし仮にこの財源移譲は捕らわれ易いということはないならば「あのハンドヒーリング理論はデフォルト等であるということはない」ということは確かである fact11: もし「その胸部外科は登用するけどすばしっこくない」ということは正しいとすると「四半でない」ということは正しい fact12: もしあの私立校が半日陰でないならばあの櫓門は絶縁するけど再点検しない fact13: 仮に何らかの物が四半でないしまたそれは捗々しくないならば「それはＯパーセントである」ということは本当である fact14: その胸部外科は四半であるかあるいは規格化するということはない fact15: 仮にあの私立校が半日陰だとしたらその胸部外科はすばしっこくない fact16: その胸部外科は広ーいか疲れ難いかもしくは両方である ; $hypothesis$ = 「もしもあの私立校が半日陰であるならばあの胸部外科は広ーいかまたは疲れ難くないかまたは両方ともだ」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの私立校は半日陰だ; fact9 & assump1 -> int1: 「その胸部外科は登用するがしかしすばしっこくない」ということは間違っていない; int1 & fact11 -> int2: 「その胸部外科は四半でない」ということは本当だ; int2 & fact2 -> int3: その胸部外科は四半でないしさらに捗々しくない; fact13 -> int4: もしもその胸部外科は四半でないしそれに捗々しくないとすればそれはＯパーセントだ; int3 & int4 -> int5: その胸部外科はＯパーセントだ; int5 & fact3 -> int6: その胸部外科は広ーい; int6 -> int7: その胸部外科は広ーいかそれは疲れ難くないかあるいは両方ともである; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その胸部外科は赤松でない
事実2: その胸部外科は捗々しくない
事実3: もし仮にその胸部外科はＯパーセントであるとすればそれは広ーい
事実4: もしもあの円墳はＯパーセントだとすると「その胸部外科は捗々しい」ということは本当である
事実5: あのハンドヒーリング理論はデフォルト等でないとすると「疲れ難いが広ーいということはない」ということは誤っている
事実6: あの私立校は疲れ難いということはない
事実7: もしその胸部外科は登用するしすばしっこいとしたらそれは四半でない
事実8: もしあの私立校が登用するとするとその胸部外科は捗々しいがしかし半日陰でない
事実9: もしあの私立校が半日陰ならその胸部外科は登用するけどそれはすばしっこくない
事実10: もし仮にこの財源移譲は捕らわれ易いということはないならば「あのハンドヒーリング理論はデフォルト等であるということはない」ということは確かである
事実11: もし「その胸部外科は登用するけどすばしっこくない」ということは正しいとすると「四半でない」ということは正しい
事実12: もしあの私立校が半日陰でないならばあの櫓門は絶縁するけど再点検しない
事実13: 仮に何らかの物が四半でないしまたそれは捗々しくないならば「それはＯパーセントである」ということは本当である
事実14: その胸部外科は四半であるかあるいは規格化するということはない
事実15: 仮にあの私立校が半日陰だとしたらその胸部外科はすばしっこくない
事実16: その胸部外科は広ーいか疲れ難いかもしくは両方である

仮説: 「もしもあの私立校が半日陰であるならばあの胸部外科は広ーいかまたは疲れ難くないかまたは両方ともだ」ということは誤っている
1. 仮定1: 以下のように仮定する。あの私立校は半日陰だ
2. 事実9と仮定1から、推論1: "「その胸部外科は登用するがしかしすばしっこくない」ということは間違っていない"が導かれる
3. 推論1と事実11から、推論2: "「その胸部外科は四半でない」ということは本当だ"が導かれる
4. 推論2と事実2から、推論3: "その胸部外科は四半でないしさらに捗々しくない"が導かれる
5. 事実13から、推論4: "もしもその胸部外科は四半でないしそれに捗々しくないとすればそれはＯパーセントだ"が導かれる
6. 推論3と推論4から、推論5: "その胸部外科はＯパーセントだ"が導かれる
7. 推論5と事実3から、推論6: "その胸部外科は広ーい"が導かれる
8. 推論6から、推論7: "その胸部外科は広ーいかそれは疲れ難くないかあるいは両方ともである"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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