あの施用成分量は脱がすしそれは一つ上だ
fact1: あの施用成分量は連想しない fact2: 「あの施用成分量が押し隠すしその上切れ端だ」ということは成り立たない fact3: この小作料減額は中南米諸国でない fact4: もしも何かは押し込むとしたら「それは連想するかまたはそれは奉還するということはないかあるいは両方ともである」ということは誤っている fact5: あの施用成分量は奉還する fact6: とある物が切れ端だとすると押し隠す fact7: もし「あの施用成分量は押し隠すけど切れ端でない」ということは成り立たないとするとそれは一つ上である fact8: この実数値は連想しない fact9: この小作料減額がミクログリアであるがそれが四発目でないとしたらこの利子税は四発目でない fact10: この利子税がＩＮＤであるとしたらその人形劇は押し込むということはない fact11: 「あの施用成分量は押し隠さない」ということは事実である fact12: 仮にこの小作料減額は中南米諸国でないなら長たらしくない fact13: 仮にあの施用成分量が連想するということはないならば奉還する fact14: 仮になんらかのものが四発目でないならそれはＩＮＤであるかもしくはそれは恨めしくないか両方ともである fact15: 「この利子税が恨めしくないとすればあの人形劇は押し込まない」ということは確かである fact16: 「その御茶会は押し隠さない」ということは事実である fact17: もし「この社会保障審議会は連想するかまたは奉還しないかまたは両方ともだ」ということは誤りだとするとそれは切れ端である fact18: もしも「その人形劇は押し込まない」ということは事実ならばこの社会保障審議会は押し込む fact19: もしこの小作料減額が長たらしくないならそれはミクログリアだが四発目でない fact20: もし仮にあの施用成分量が連想しないなら奉還するししかも脱がす
void -> assump1: 以下のように仮定する。あの施用成分量は押し隠すけれど切れ端でない; assump1 -> int1: あの施用成分量は押し隠す; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの施用成分量は押し隠すが切れ端でない」ということは成り立たない; int3 & fact7 -> int4: あの施用成分量は一つ上である; fact20 & fact1 -> int5: あの施用成分量が奉還するしその上脱がす; int5 -> int6: 「あの施用成分量は脱がす」ということは真実だ; int4 & int6 -> hypothesis;
「あの施用成分量は脱がすしまた一つ上だ」ということは間違いである
fact21 -> int7: 仮にこの社会保障審議会が切れ端ならばそれは押し隠す; fact24 -> int8: もしもこの社会保障審議会は押し込むとしたら「連想するかそれは奉還するということはない」ということは事実と異なる; fact28 -> int9: もしもこの利子税が四発目でないならＩＮＤであるかあるいは恨めしくないかあるいは両方だ; fact30 & fact25 -> int10: 「この小作料減額は長たらしくない」ということは嘘でない; fact27 & int10 -> int11: この小作料減額はミクログリアだが四発目でない; fact29 & int11 -> int12: この利子税は四発目でない; int9 & int12 -> int13: この利子税はＩＮＤであるか恨めしいということはない; int13 & fact22 & fact23 -> int14: その人形劇は押し込まない; fact31 & int14 -> int15: この社会保障審議会は押し込む; int8 & int15 -> int16: 「この社会保障審議会は連想するか奉還しないかもしくはどちらもだ」ということは間違いである; fact26 & int16 -> int17: この社会保障審議会は切れ端だ; int7 & int17 -> int18: この社会保障審議会は押し隠す;
$facts$ = fact1: あの施用成分量は連想しない fact2: 「あの施用成分量が押し隠すしその上切れ端だ」ということは成り立たない fact3: この小作料減額は中南米諸国でない fact4: もしも何かは押し込むとしたら「それは連想するかまたはそれは奉還するということはないかあるいは両方ともである」ということは誤っている fact5: あの施用成分量は奉還する fact6: とある物が切れ端だとすると押し隠す fact7: もし「あの施用成分量は押し隠すけど切れ端でない」ということは成り立たないとするとそれは一つ上である fact8: この実数値は連想しない fact9: この小作料減額がミクログリアであるがそれが四発目でないとしたらこの利子税は四発目でない fact10: この利子税がＩＮＤであるとしたらその人形劇は押し込むということはない fact11: 「あの施用成分量は押し隠さない」ということは事実である fact12: 仮にこの小作料減額は中南米諸国でないなら長たらしくない fact13: 仮にあの施用成分量が連想するということはないならば奉還する fact14: 仮になんらかのものが四発目でないならそれはＩＮＤであるかもしくはそれは恨めしくないか両方ともである fact15: 「この利子税が恨めしくないとすればあの人形劇は押し込まない」ということは確かである fact16: 「その御茶会は押し隠さない」ということは事実である fact17: もし「この社会保障審議会は連想するかまたは奉還しないかまたは両方ともだ」ということは誤りだとするとそれは切れ端である fact18: もしも「その人形劇は押し込まない」ということは事実ならばこの社会保障審議会は押し込む fact19: もしこの小作料減額が長たらしくないならそれはミクログリアだが四発目でない fact20: もし仮にあの施用成分量が連想しないなら奉還するししかも脱がす ; $hypothesis$ = あの施用成分量は脱がすしそれは一つ上だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの施用成分量は押し隠すけれど切れ端でない; assump1 -> int1: あの施用成分量は押し隠す; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの施用成分量は押し隠すが切れ端でない」ということは成り立たない; int3 & fact7 -> int4: あの施用成分量は一つ上である; fact20 & fact1 -> int5: あの施用成分量が奉還するしその上脱がす; int5 -> int6: 「あの施用成分量は脱がす」ということは真実だ; int4 & int6 -> hypothesis; __PROVED__
事実1: あの施用成分量は連想しない
事実2: 「あの施用成分量が押し隠すしその上切れ端だ」ということは成り立たない
事実3: この小作料減額は中南米諸国でない
事実4: もしも何かは押し込むとしたら「それは連想するかまたはそれは奉還するということはないかあるいは両方ともである」ということは誤っている
事実5: あの施用成分量は奉還する
事実6: とある物が切れ端だとすると押し隠す
事実7: もし「あの施用成分量は押し隠すけど切れ端でない」ということは成り立たないとするとそれは一つ上である
事実8: この実数値は連想しない
事実9: この小作料減額がミクログリアであるがそれが四発目でないとしたらこの利子税は四発目でない
事実10: この利子税がＩＮＤであるとしたらその人形劇は押し込むということはない
事実11: 「あの施用成分量は押し隠さない」ということは事実である
事実12: 仮にこの小作料減額は中南米諸国でないなら長たらしくない
事実13: 仮にあの施用成分量が連想するということはないならば奉還する
事実14: 仮になんらかのものが四発目でないならそれはＩＮＤであるかもしくはそれは恨めしくないか両方ともである
事実15: 「この利子税が恨めしくないとすればあの人形劇は押し込まない」ということは確かである
事実16: 「その御茶会は押し隠さない」ということは事実である
事実17: もし「この社会保障審議会は連想するかまたは奉還しないかまたは両方ともだ」ということは誤りだとするとそれは切れ端である
事実18: もしも「その人形劇は押し込まない」ということは事実ならばこの社会保障審議会は押し込む
事実19: もしこの小作料減額が長たらしくないならそれはミクログリアだが四発目でない
事実20: もし仮にあの施用成分量が連想しないなら奉還するししかも脱がす

仮説: あの施用成分量は脱がすしそれは一つ上だ
1. 仮定1: 以下のように仮定する。あの施用成分量は押し隠すけれど切れ端でない
2. 仮定1から、推論1: "あの施用成分量は押し隠す"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの施用成分量は押し隠すが切れ端でない」ということは成り立たない"が導かれる
5. 推論3と事実7から、推論4: "あの施用成分量は一つ上である"が導かれる
6. 事実20と事実1から、推論5: "あの施用成分量が奉還するしその上脱がす"が導かれる
7. 推論5から、推論6: "「あの施用成分量は脱がす」ということは真実だ"が導かれる
8. 推論4と推論6から、仮説が導かれる

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