「この知識は満足す」ということは真実だ
fact1: 「とあるものは来辛くないがしかし整備する」ということは成り立たないならば「それは値切る」ということは事実と異ならない fact2: もし仮に「なにかは心深くないけれど当主夫妻である」ということは成り立つということはないなら「つべたい」ということは誤りでない fact3: 仮に「「この知識は伝達手段だということはない一方でそれは刳り抜く」ということは誤っている」ということは成り立つとすれば選抜教育である fact4: 仮に「何らかの物は踏み込めないが優先する」ということは嘘であるならばそれは満足す fact5: 「この出身階層は充溢しないけれど優先する」ということは嘘である fact6: このテロ集団は満足す fact7: 「この知識は下落しないがしかし優先する」ということは間違いである fact8: もしとあるものは踏み込めるとすると「満足す」ということは真実だ fact9: もしこの知識が踏み込めれば満足す fact10: もし仮に「何かは区分しないけど標準搭載する」ということは成り立たないとすれば認め難い fact11: 「踏み込めないしおまけに優先するというものはない」ということは確かだ fact12: もしも「とあるものは家電販売でないが居辛い」ということは成り立たないとすればそれは策問だ fact13: もし「あの横紋筋融解症は外道だということはない一方で清々しい」ということは間違いだとすれば九年当時である fact14: 踏み込めるし優先するという物はない fact15: 「「この知識は優先しない一方で薄青い」ということは誤りであるならこの知識は笑い始める」ということは成り立つ fact16: 「この知識は踏み込めるし優先する」ということは偽だ fact17: もしも「この知識は太り過ぎないがしかしコントロールし易い」ということは確かでないとしたら優先する fact18: もし「なにかは太根であるということはないが断り難い」ということは誤っているとすればそれは編成する
fact11 -> int1: 「この知識は踏み込めるということはないが優先する」ということは間違っている; fact4 -> int2: もしも「この知識は踏み込めないがしかし優先する」ということは間違いであるとすれば満足す; int1 & int2 -> hypothesis;
fact11 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}) -> {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「とあるものは来辛くないがしかし整備する」ということは成り立たないならば「それは値切る」ということは事実と異ならない fact2: もし仮に「なにかは心深くないけれど当主夫妻である」ということは成り立つということはないなら「つべたい」ということは誤りでない fact3: 仮に「「この知識は伝達手段だということはない一方でそれは刳り抜く」ということは誤っている」ということは成り立つとすれば選抜教育である fact4: 仮に「何らかの物は踏み込めないが優先する」ということは嘘であるならばそれは満足す fact5: 「この出身階層は充溢しないけれど優先する」ということは嘘である fact6: このテロ集団は満足す fact7: 「この知識は下落しないがしかし優先する」ということは間違いである fact8: もしとあるものは踏み込めるとすると「満足す」ということは真実だ fact9: もしこの知識が踏み込めれば満足す fact10: もし仮に「何かは区分しないけど標準搭載する」ということは成り立たないとすれば認め難い fact11: 「踏み込めないしおまけに優先するというものはない」ということは確かだ fact12: もしも「とあるものは家電販売でないが居辛い」ということは成り立たないとすればそれは策問だ fact13: もし「あの横紋筋融解症は外道だということはない一方で清々しい」ということは間違いだとすれば九年当時である fact14: 踏み込めるし優先するという物はない fact15: 「「この知識は優先しない一方で薄青い」ということは誤りであるならこの知識は笑い始める」ということは成り立つ fact16: 「この知識は踏み込めるし優先する」ということは偽だ fact17: もしも「この知識は太り過ぎないがしかしコントロールし易い」ということは確かでないとしたら優先する fact18: もし「なにかは太根であるということはないが断り難い」ということは誤っているとすればそれは編成する ; $hypothesis$ = 「この知識は満足す」ということは真実だ ; $proof$ = 
fact11 -> int1: 「この知識は踏み込めるということはないが優先する」ということは間違っている; fact4 -> int2: もしも「この知識は踏み込めないがしかし優先する」ということは間違いであるとすれば満足す; int1 & int2 -> hypothesis; __PROVED__
事実1: 「とあるものは来辛くないがしかし整備する」ということは成り立たないならば「それは値切る」ということは事実と異ならない
事実2: もし仮に「なにかは心深くないけれど当主夫妻である」ということは成り立つということはないなら「つべたい」ということは誤りでない
事実3: 仮に「「この知識は伝達手段だということはない一方でそれは刳り抜く」ということは誤っている」ということは成り立つとすれば選抜教育である
事実4: 仮に「何らかの物は踏み込めないが優先する」ということは嘘であるならばそれは満足す
事実5: 「この出身階層は充溢しないけれど優先する」ということは嘘である
事実6: このテロ集団は満足す
事実7: 「この知識は下落しないがしかし優先する」ということは間違いである
事実8: もしとあるものは踏み込めるとすると「満足す」ということは真実だ
事実9: もしこの知識が踏み込めれば満足す
事実10: もし仮に「何かは区分しないけど標準搭載する」ということは成り立たないとすれば認め難い
事実11: 「踏み込めないしおまけに優先するというものはない」ということは確かだ
事実12: もしも「とあるものは家電販売でないが居辛い」ということは成り立たないとすればそれは策問だ
事実13: もし「あの横紋筋融解症は外道だということはない一方で清々しい」ということは間違いだとすれば九年当時である
事実14: 踏み込めるし優先するという物はない
事実15: 「「この知識は優先しない一方で薄青い」ということは誤りであるならこの知識は笑い始める」ということは成り立つ
事実16: 「この知識は踏み込めるし優先する」ということは偽だ
事実17: もしも「この知識は太り過ぎないがしかしコントロールし易い」ということは確かでないとしたら優先する
事実18: もし「なにかは太根であるということはないが断り難い」ということは誤っているとすればそれは編成する

仮説: 「この知識は満足す」ということは真実だ
1. 事実11から、推論1: "「この知識は踏み込めるということはないが優先する」ということは間違っている"が導かれる
2. 事実4から、推論2: "もしも「この知識は踏み込めないがしかし優先する」ということは間違いであるとすれば満足す"が導かれる
3. 推論1と推論2から、仮説が導かれる

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