「その反時計方向は各種アプリケーションである」ということは本当である
fact1: もしも「「リーダー研修で加えて豪華本である」ということは成り立たない」ものはあるとすれば「この八年頃はリーダー研修だということはない」ということは成り立つ fact2: もしも何らかの物は御客さん達でないなら「集まり始める」ということは嘘でない fact3: もし仮に何らかのものは混交しなくてシェアでないとしたらそれは集まり始める fact4: 何らかのものが資本参加しないかもしくはそれはエンジンオイルでないかまたは両方ともならそれは渡り切るということはない fact5: もし「生温くない」物はあれば「この納入先はリーダー研修でかつ豪華本だ」ということは成り立たない fact6: 父親らしいということはないものは限定付きでないならそれはマリネしない fact7: もし仮に「リーダー研修でない」ものがあるとすればその葉緑素は父親らしくないし限定付きでない fact8: あの緑黄色野菜はシェアでない fact9: その短慮は密接する fact10: その反時計方向がシェアならそれは集まり始める fact11: 仮にあの緑黄色野菜はシェアでないとすれば「それは引き易くない一方で御客さん達だ」ということは間違っている fact12: 仮にその反時計方向は集まり始めるとしたら「それは各種アプリケーションでないしその上それは引き易い」ということは誤りである fact13: もし「なにかは引き易くないけど御客さん達である」ということは誤っているとすれば集まり始める fact14: 仮に「その葉緑素はマリネしない」ということは事実であるとしたらその初層は混交しなくておまけにそれはシェアだということはない fact15: その重厚さは資本参加しないかあるいはそれはエンジンオイルでない fact16: 仮にその重厚さが渡り切るということはなくてまた密接しないとするとこのメタプログラムは生温くない fact17: もし仮にその短慮が密接するとしたらその重厚さは密接しない fact18: 「あの道路外は各種アプリケーションであるけれど集まり始めない」ということは成り立つということはないとするとその反時計方向は各種アプリケーションでない fact19: あの緑黄色野菜が御客さん達でないとすれば集まり始める fact20: 仮にあの緑黄色野菜が集まり始めるならその反時計方向は各種アプリケーションである
fact13 -> int1: 「あの緑黄色野菜は引き易くないけれど御客さん達だ」ということは確かでないとするとそれは集まり始める; fact11 & fact8 -> int2: 「あの緑黄色野菜は引き易くないがしかしそれは御客さん達である」ということは嘘である; int1 & int2 -> int3: あの緑黄色野菜は集まり始める; int3 & fact20 -> hypothesis;
fact13 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact11 & fact8 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact20 -> hypothesis;
その反時計方向は各種アプリケーションでない
fact26 -> int4: 「もしその初層が混交するということはなくて更にシェアでないとするとその初層は集まり始める」ということは真実である; fact22 -> int5: もし仮にその葉緑素が父親らしくないしそれに限定付きでないとしたら「それはマリネするということはない」ということは事実だ; fact31 -> int6: その重厚さが資本参加しないかまたはそれはエンジンオイルでないかまたは両方であるとしたら渡り切るということはない; int6 & fact25 -> int7: その重厚さは渡り切らない; fact28 & fact24 -> int8: その重厚さは密接しない; int7 & int8 -> int9: その重厚さは渡り切らなくて更に密接しない; fact23 & int9 -> int10: このメタプログラムは生温くない; int10 -> int11: 「生温くない」物はある; int11 & fact27 -> int12: 「この納入先はリーダー研修であるし豪華本である」ということは事実と異なる; int12 -> int13: 「「リーダー研修であるししかも豪華本だ」ということは嘘な」ものはある; int13 & fact21 -> int14: この八年頃はリーダー研修だということはない; int14 -> int15: なにかはリーダー研修であるということはない; int15 & fact32 -> int16: その葉緑素が父親らしいということはないしさらにそれは限定付きでない; int5 & int16 -> int17: その葉緑素はマリネするということはない; fact29 & int17 -> int18: その初層は混交しないしシェアだということはない; int4 & int18 -> int19: その初層は集まり始める; int19 -> int20: 「集まり始める」ものはある;
$facts$ = fact1: もしも「「リーダー研修で加えて豪華本である」ということは成り立たない」ものはあるとすれば「この八年頃はリーダー研修だということはない」ということは成り立つ fact2: もしも何らかの物は御客さん達でないなら「集まり始める」ということは嘘でない fact3: もし仮に何らかのものは混交しなくてシェアでないとしたらそれは集まり始める fact4: 何らかのものが資本参加しないかもしくはそれはエンジンオイルでないかまたは両方ともならそれは渡り切るということはない fact5: もし「生温くない」物はあれば「この納入先はリーダー研修でかつ豪華本だ」ということは成り立たない fact6: 父親らしいということはないものは限定付きでないならそれはマリネしない fact7: もし仮に「リーダー研修でない」ものがあるとすればその葉緑素は父親らしくないし限定付きでない fact8: あの緑黄色野菜はシェアでない fact9: その短慮は密接する fact10: その反時計方向がシェアならそれは集まり始める fact11: 仮にあの緑黄色野菜はシェアでないとすれば「それは引き易くない一方で御客さん達だ」ということは間違っている fact12: 仮にその反時計方向は集まり始めるとしたら「それは各種アプリケーションでないしその上それは引き易い」ということは誤りである fact13: もし「なにかは引き易くないけど御客さん達である」ということは誤っているとすれば集まり始める fact14: 仮に「その葉緑素はマリネしない」ということは事実であるとしたらその初層は混交しなくておまけにそれはシェアだということはない fact15: その重厚さは資本参加しないかあるいはそれはエンジンオイルでない fact16: 仮にその重厚さが渡り切るということはなくてまた密接しないとするとこのメタプログラムは生温くない fact17: もし仮にその短慮が密接するとしたらその重厚さは密接しない fact18: 「あの道路外は各種アプリケーションであるけれど集まり始めない」ということは成り立つということはないとするとその反時計方向は各種アプリケーションでない fact19: あの緑黄色野菜が御客さん達でないとすれば集まり始める fact20: 仮にあの緑黄色野菜が集まり始めるならその反時計方向は各種アプリケーションである ; $hypothesis$ = 「その反時計方向は各種アプリケーションである」ということは本当である ; $proof$ = 
fact13 -> int1: 「あの緑黄色野菜は引き易くないけれど御客さん達だ」ということは確かでないとするとそれは集まり始める; fact11 & fact8 -> int2: 「あの緑黄色野菜は引き易くないがしかしそれは御客さん達である」ということは嘘である; int1 & int2 -> int3: あの緑黄色野菜は集まり始める; int3 & fact20 -> hypothesis; __PROVED__
事実1: もしも「「リーダー研修で加えて豪華本である」ということは成り立たない」ものはあるとすれば「この八年頃はリーダー研修だということはない」ということは成り立つ
事実2: もしも何らかの物は御客さん達でないなら「集まり始める」ということは嘘でない
事実3: もし仮に何らかのものは混交しなくてシェアでないとしたらそれは集まり始める
事実4: 何らかのものが資本参加しないかもしくはそれはエンジンオイルでないかまたは両方ともならそれは渡り切るということはない
事実5: もし「生温くない」物はあれば「この納入先はリーダー研修でかつ豪華本だ」ということは成り立たない
事実6: 父親らしいということはないものは限定付きでないならそれはマリネしない
事実7: もし仮に「リーダー研修でない」ものがあるとすればその葉緑素は父親らしくないし限定付きでない
事実8: あの緑黄色野菜はシェアでない
事実9: その短慮は密接する
事実10: その反時計方向がシェアならそれは集まり始める
事実11: 仮にあの緑黄色野菜はシェアでないとすれば「それは引き易くない一方で御客さん達だ」ということは間違っている
事実12: 仮にその反時計方向は集まり始めるとしたら「それは各種アプリケーションでないしその上それは引き易い」ということは誤りである
事実13: もし「なにかは引き易くないけど御客さん達である」ということは誤っているとすれば集まり始める
事実14: 仮に「その葉緑素はマリネしない」ということは事実であるとしたらその初層は混交しなくておまけにそれはシェアだということはない
事実15: その重厚さは資本参加しないかあるいはそれはエンジンオイルでない
事実16: 仮にその重厚さが渡り切るということはなくてまた密接しないとするとこのメタプログラムは生温くない
事実17: もし仮にその短慮が密接するとしたらその重厚さは密接しない
事実18: 「あの道路外は各種アプリケーションであるけれど集まり始めない」ということは成り立つということはないとするとその反時計方向は各種アプリケーションでない
事実19: あの緑黄色野菜が御客さん達でないとすれば集まり始める
事実20: 仮にあの緑黄色野菜が集まり始めるならその反時計方向は各種アプリケーションである

仮説: 「その反時計方向は各種アプリケーションである」ということは本当である
1. 事実13から、推論1: "「あの緑黄色野菜は引き易くないけれど御客さん達だ」ということは確かでないとするとそれは集まり始める"が導かれる
2. 事実11と事実8から、推論2: "「あの緑黄色野菜は引き易くないがしかしそれは御客さん達である」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "あの緑黄色野菜は集まり始める"が導かれる
4. 推論3と事実20から、仮説が導かれる

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