この二時過ぎは野太くないがしかし非才である
fact1: 「予測し難いしその上書家な」ものはある fact2: もしこの二時過ぎは米欧であるならば「あの手形上は野太くない」ということは事実だ fact3: あの手形上は米欧であるかもしくはそれは制裁措置であるかもしくはどちらもだ fact4: 仮にあの鼠が非才ならこの二時過ぎは野太くないけど非才である fact5: Ｓ国は好ましない物であり加えて制裁措置だ fact6: 仮にその組合活動家が好ましならあの鼠は非才である fact7: あの手形上がＳ国でなくて加えて使い捲るということはないとしたらこの二時過ぎはＳ国だ fact8: 好ましない物が制裁措置ならばそれは米欧でない fact9: もし仮にあの手形上が制裁措置であるとするとその組合活動家は好まし fact10: 「予測し難いしかつ書家な」ものがあるならあの手形上はＳ国でない fact11: 仮にあの手形上は米欧であるならば「その組合活動家は好まし」ということは成り立つ fact12: この二時過ぎは野太くない fact13: もし仮に「なにかは米欧だということはない」ということは真実なら「野太いということはない一方で非才だ」ということは偽である
fact3 & fact11 & fact9 -> int1: その組合活動家は好まし; int1 & fact6 -> int2: あの鼠は非才である; int2 & fact4 -> hypothesis;
fact3 & fact11 & fact9 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{b}; int2 & fact4 -> hypothesis;
「この二時過ぎは野太くないけれど非才である」ということは成り立たない
fact15 -> int3: もし仮にこの二時過ぎは米欧でないとすれば「それは野太くないがしかし非才である」ということは事実と異なる; fact18 -> int4: この二時過ぎは好ましないけれど制裁措置ならば米欧でない; fact17 -> int5: もしも「この二時過ぎはＳ国だ」ということは成り立つとするとそれは好ましない一方で制裁措置だ; fact14 & fact16 -> int6: あの手形上はＳ国でない;
$facts$ = fact1: 「予測し難いしその上書家な」ものはある fact2: もしこの二時過ぎは米欧であるならば「あの手形上は野太くない」ということは事実だ fact3: あの手形上は米欧であるかもしくはそれは制裁措置であるかもしくはどちらもだ fact4: 仮にあの鼠が非才ならこの二時過ぎは野太くないけど非才である fact5: Ｓ国は好ましない物であり加えて制裁措置だ fact6: 仮にその組合活動家が好ましならあの鼠は非才である fact7: あの手形上がＳ国でなくて加えて使い捲るということはないとしたらこの二時過ぎはＳ国だ fact8: 好ましない物が制裁措置ならばそれは米欧でない fact9: もし仮にあの手形上が制裁措置であるとするとその組合活動家は好まし fact10: 「予測し難いしかつ書家な」ものがあるならあの手形上はＳ国でない fact11: 仮にあの手形上は米欧であるならば「その組合活動家は好まし」ということは成り立つ fact12: この二時過ぎは野太くない fact13: もし仮に「なにかは米欧だということはない」ということは真実なら「野太いということはない一方で非才だ」ということは偽である ; $hypothesis$ = この二時過ぎは野太くないがしかし非才である ; $proof$ = 
fact3 & fact11 & fact9 -> int1: その組合活動家は好まし; int1 & fact6 -> int2: あの鼠は非才である; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「予測し難いしその上書家な」ものはある
事実2: もしこの二時過ぎは米欧であるならば「あの手形上は野太くない」ということは事実だ
事実3: あの手形上は米欧であるかもしくはそれは制裁措置であるかもしくはどちらもだ
事実4: 仮にあの鼠が非才ならこの二時過ぎは野太くないけど非才である
事実5: Ｓ国は好ましない物であり加えて制裁措置だ
事実6: 仮にその組合活動家が好ましならあの鼠は非才である
事実7: あの手形上がＳ国でなくて加えて使い捲るということはないとしたらこの二時過ぎはＳ国だ
事実8: 好ましない物が制裁措置ならばそれは米欧でない
事実9: もし仮にあの手形上が制裁措置であるとするとその組合活動家は好まし
事実10: 「予測し難いしかつ書家な」ものがあるならあの手形上はＳ国でない
事実11: 仮にあの手形上は米欧であるならば「その組合活動家は好まし」ということは成り立つ
事実12: この二時過ぎは野太くない
事実13: もし仮に「なにかは米欧だということはない」ということは真実なら「野太いということはない一方で非才だ」ということは偽である

仮説: この二時過ぎは野太くないがしかし非才である
1. 事実3と事実11と事実9から、推論1: "その組合活動家は好まし"が導かれる
2. 推論1と事実6から、推論2: "あの鼠は非才である"が導かれる
3. 推論2と事実4から、仮説が導かれる

よって、仮説が証明されました。