この母親同士は賢しくない
fact1: このパンタグラフは政権入りする fact2: このパンタグラフは賢しい fact3: このユナイテッドは政権入りするし加えて悔しい fact4: このユナイテッドは悔しい fact5: もしもこのパンタグラフは魚肉だということはないとすれば「「このユナイテッドは根気良くないかスムージングするということはないかもしくは両方だ」ということは成り立つ」ということは成り立たない fact6: もしもこのパンタグラフは起き易いとすると「この母親同士は賢しい」ということは事実だ fact7: もしもこの母親同士が起き易いとすれば悔しい fact8: もし悔しい物が政権入りしないとしたら賢しい fact9: もし仮にこのユナイテッドが政権入りすればこのパンタグラフは起き易い fact10: もしこのユナイテッドが悔しいとするとこのパンタグラフは政権入りする fact11: あの二以降は素早い fact12: 仮に「何らかの物は根気良くないかあるいはそれはスムージングしないかもしくはどちらもである」ということは事実と異なるとするとそれは持ち運び出来ない fact13: 仮に何らかの物が素早いとするとこの母親同士は憂くない fact14: この母親同士が魚肉でないし憂いということはないならばこのパンタグラフは魚肉であるということはない fact15: この母親同士は政権入りする fact16: このユナイテッドは遮る fact17: もし仮にこのユナイテッドが持ち運び出来ないとするとこの平衡定数は起き易くて払い渡す fact18: 「「零細業者だし更に法廷外だ」ということは成り立たない」ものはある fact19: 「このユナイテッドは賢しいししかも満腹する」ということは真実である fact20: もし「「零細業者であるし法廷外である」ということは誤っている」ものはあるとすれば「この母親同士は魚肉でない」ということは本当だ fact21: もしこの母親同士は政権入りするとすれば「このユナイテッドは賢しい」ということは正しい
fact3 -> int1: 「このユナイテッドは政権入りする」ということは本当だ; int1 & fact9 -> int2: このパンタグラフは起き易い; int2 & fact6 -> hypothesis;
この平衡定数は賢しい
fact28 -> int3: もし仮にこの平衡定数が悔しいがしかしそれは政権入りするということはないとすれば「それは賢しくない」ということは偽だ; fact23 -> int4: もし「このユナイテッドは根気良くないかもしくはそれはスムージングしない」ということは事実と異なるならそれは持ち運び出来ない; fact26 & fact25 -> int5: この母親同士は魚肉でない; fact22 -> int6: あるものは素早い; int6 & fact24 -> int7: この母親同士は憂くない; int5 & int7 -> int8: 「この母親同士は魚肉でなくて加えて憂いということはない」ということは成り立つ; fact30 & int8 -> int9: このパンタグラフは魚肉でない; fact27 & int9 -> int10: 「このユナイテッドは根気良くないかもしくはスムージングしないかまたは両方である」ということは偽である; int4 & int10 -> int11: このユナイテッドは持ち運び出来ない; fact29 & int11 -> int12: この平衡定数は起き易くてそれは払い渡す; int12 -> int13: この平衡定数は起き易い;
$facts$ = fact1: このパンタグラフは政権入りする fact2: このパンタグラフは賢しい fact3: このユナイテッドは政権入りするし加えて悔しい fact4: このユナイテッドは悔しい fact5: もしもこのパンタグラフは魚肉だということはないとすれば「「このユナイテッドは根気良くないかスムージングするということはないかもしくは両方だ」ということは成り立つ」ということは成り立たない fact6: もしもこのパンタグラフは起き易いとすると「この母親同士は賢しい」ということは事実だ fact7: もしもこの母親同士が起き易いとすれば悔しい fact8: もし悔しい物が政権入りしないとしたら賢しい fact9: もし仮にこのユナイテッドが政権入りすればこのパンタグラフは起き易い fact10: もしこのユナイテッドが悔しいとするとこのパンタグラフは政権入りする fact11: あの二以降は素早い fact12: 仮に「何らかの物は根気良くないかあるいはそれはスムージングしないかもしくはどちらもである」ということは事実と異なるとするとそれは持ち運び出来ない fact13: 仮に何らかの物が素早いとするとこの母親同士は憂くない fact14: この母親同士が魚肉でないし憂いということはないならばこのパンタグラフは魚肉であるということはない fact15: この母親同士は政権入りする fact16: このユナイテッドは遮る fact17: もし仮にこのユナイテッドが持ち運び出来ないとするとこの平衡定数は起き易くて払い渡す fact18: 「「零細業者だし更に法廷外だ」ということは成り立たない」ものはある fact19: 「このユナイテッドは賢しいししかも満腹する」ということは真実である fact20: もし「「零細業者であるし法廷外である」ということは誤っている」ものはあるとすれば「この母親同士は魚肉でない」ということは本当だ fact21: もしこの母親同士は政権入りするとすれば「このユナイテッドは賢しい」ということは正しい ; $hypothesis$ = この母親同士は賢しくない ; $proof$ = 
fact3 -> int1: 「このユナイテッドは政権入りする」ということは本当だ; int1 & fact9 -> int2: このパンタグラフは起き易い; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: このパンタグラフは政権入りする
事実2: このパンタグラフは賢しい
事実3: このユナイテッドは政権入りするし加えて悔しい
事実4: このユナイテッドは悔しい
事実5: もしもこのパンタグラフは魚肉だということはないとすれば「「このユナイテッドは根気良くないかスムージングするということはないかもしくは両方だ」ということは成り立つ」ということは成り立たない
事実6: もしもこのパンタグラフは起き易いとすると「この母親同士は賢しい」ということは事実だ
事実7: もしもこの母親同士が起き易いとすれば悔しい
事実8: もし悔しい物が政権入りしないとしたら賢しい
事実9: もし仮にこのユナイテッドが政権入りすればこのパンタグラフは起き易い
事実10: もしこのユナイテッドが悔しいとするとこのパンタグラフは政権入りする
事実11: あの二以降は素早い
事実12: 仮に「何らかの物は根気良くないかあるいはそれはスムージングしないかもしくはどちらもである」ということは事実と異なるとするとそれは持ち運び出来ない
事実13: 仮に何らかの物が素早いとするとこの母親同士は憂くない
事実14: この母親同士が魚肉でないし憂いということはないならばこのパンタグラフは魚肉であるということはない
事実15: この母親同士は政権入りする
事実16: このユナイテッドは遮る
事実17: もし仮にこのユナイテッドが持ち運び出来ないとするとこの平衡定数は起き易くて払い渡す
事実18: 「「零細業者だし更に法廷外だ」ということは成り立たない」ものはある
事実19: 「このユナイテッドは賢しいししかも満腹する」ということは真実である
事実20: もし「「零細業者であるし法廷外である」ということは誤っている」ものはあるとすれば「この母親同士は魚肉でない」ということは本当だ
事実21: もしこの母親同士は政権入りするとすれば「このユナイテッドは賢しい」ということは正しい

仮説: この母親同士は賢しくない
1. 事実3から、推論1: "「このユナイテッドは政権入りする」ということは本当だ"が導かれる
2. 推論1と事実9から、推論2: "このパンタグラフは起き易い"が導かれる
3. 推論2と事実6から、仮説が否定される

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