その舌下面は御出迎えする
fact1: そのビブは御出迎えしない fact2: そのビブは仕事らしい fact3: 「そのコバルトブルーは面映ゆい」ということは確かだとすればそのビブは御出迎えする fact4: もしそのビブが天狗らしいしかつ御出迎えすればその舌下面は御出迎えしない fact5: 仮に何かは処分出来るとすると「それはウォーホークでないししかも天狗らしくない」ということは嘘だ fact6: もしあのグリーンピースは香り付けするしまたきもいならばあの政治的行為はきもくない fact7: なにがしかのものは掠り傷でないとしたら引き起こし易いししかも真っ白い fact8: とある物が天狗らしくないならばその舌下面は御出迎えする fact9: もしも「ある物は行き来でない」ということは正しいならばそれは面映ゆいかまたは仕事らしい fact10: 仮に「面映ゆかない」ものがあるならばあの金額合計フィールドは天狗らしい fact11: もし「あの政治的行為はきもくない」ということは成り立つとすると処分出来るしそれに苛立たしい fact12: そのコバルトブルーは掠り傷でない fact13: 恵み深いということはない物は行き来でない fact14: あのグリーンピースはきもい fact15: 引き起こし易いものは恵み深くないかもしくは誇らしくないかあるいはどちらもだ fact16: 仮に「あの政治的行為がウォーホークだということはないしその上それは天狗らしくない」ということは間違いだとしたらその結膜は天狗らしい fact17: もしそのコバルトブルーが天狗らしいとすればそのビブは御出迎えするということはない fact18: 面映ゆかない物は仕事らしいかもしくは天狗らしくないかあるいはどちらもだ fact19: もしもそのビブが仕事らしいとしたらそのコバルトブルーは天狗らしいということはない fact20: 誇らしくない物は行き来でない fact21: もし仮に「その結膜は天狗らしい」ということは成り立つならそのビブは天狗らしい fact22: もし仮にある物は仕事らしいかまたは天狗らしいということはないならば御出迎えしない fact23: あのグリーンピースは香り付けする
fact19 & fact2 -> int1: そのコバルトブルーは天狗らしくない; int1 -> int2: 「「天狗らしくない」ということは成り立つ」物はある; int2 & fact8 -> hypothesis;
その起爆剤は御出迎えしない
fact25 -> int3: 「もしもその起爆剤が仕事らしいかもしくは天狗らしくないかあるいはどちらもだとすると「その起爆剤は御出迎えする」ということは真実でない」ということは本当だ; fact24 -> int4: その起爆剤が面映ゆかないとすればそれは仕事らしいかまたは天狗らしいということはないかあるいは両方である;
$facts$ = fact1: そのビブは御出迎えしない fact2: そのビブは仕事らしい fact3: 「そのコバルトブルーは面映ゆい」ということは確かだとすればそのビブは御出迎えする fact4: もしそのビブが天狗らしいしかつ御出迎えすればその舌下面は御出迎えしない fact5: 仮に何かは処分出来るとすると「それはウォーホークでないししかも天狗らしくない」ということは嘘だ fact6: もしあのグリーンピースは香り付けするしまたきもいならばあの政治的行為はきもくない fact7: なにがしかのものは掠り傷でないとしたら引き起こし易いししかも真っ白い fact8: とある物が天狗らしくないならばその舌下面は御出迎えする fact9: もしも「ある物は行き来でない」ということは正しいならばそれは面映ゆいかまたは仕事らしい fact10: 仮に「面映ゆかない」ものがあるならばあの金額合計フィールドは天狗らしい fact11: もし「あの政治的行為はきもくない」ということは成り立つとすると処分出来るしそれに苛立たしい fact12: そのコバルトブルーは掠り傷でない fact13: 恵み深いということはない物は行き来でない fact14: あのグリーンピースはきもい fact15: 引き起こし易いものは恵み深くないかもしくは誇らしくないかあるいはどちらもだ fact16: 仮に「あの政治的行為がウォーホークだということはないしその上それは天狗らしくない」ということは間違いだとしたらその結膜は天狗らしい fact17: もしそのコバルトブルーが天狗らしいとすればそのビブは御出迎えするということはない fact18: 面映ゆかない物は仕事らしいかもしくは天狗らしくないかあるいはどちらもだ fact19: もしもそのビブが仕事らしいとしたらそのコバルトブルーは天狗らしいということはない fact20: 誇らしくない物は行き来でない fact21: もし仮に「その結膜は天狗らしい」ということは成り立つならそのビブは天狗らしい fact22: もし仮にある物は仕事らしいかまたは天狗らしいということはないならば御出迎えしない fact23: あのグリーンピースは香り付けする ; $hypothesis$ = その舌下面は御出迎えする ; $proof$ = 
fact19 & fact2 -> int1: そのコバルトブルーは天狗らしくない; int1 -> int2: 「「天狗らしくない」ということは成り立つ」物はある; int2 & fact8 -> hypothesis; __PROVED__
事実1: そのビブは御出迎えしない
事実2: そのビブは仕事らしい
事実3: 「そのコバルトブルーは面映ゆい」ということは確かだとすればそのビブは御出迎えする
事実4: もしそのビブが天狗らしいしかつ御出迎えすればその舌下面は御出迎えしない
事実5: 仮に何かは処分出来るとすると「それはウォーホークでないししかも天狗らしくない」ということは嘘だ
事実6: もしあのグリーンピースは香り付けするしまたきもいならばあの政治的行為はきもくない
事実7: なにがしかのものは掠り傷でないとしたら引き起こし易いししかも真っ白い
事実8: とある物が天狗らしくないならばその舌下面は御出迎えする
事実9: もしも「ある物は行き来でない」ということは正しいならばそれは面映ゆいかまたは仕事らしい
事実10: 仮に「面映ゆかない」ものがあるならばあの金額合計フィールドは天狗らしい
事実11: もし「あの政治的行為はきもくない」ということは成り立つとすると処分出来るしそれに苛立たしい
事実12: そのコバルトブルーは掠り傷でない
事実13: 恵み深いということはない物は行き来でない
事実14: あのグリーンピースはきもい
事実15: 引き起こし易いものは恵み深くないかもしくは誇らしくないかあるいはどちらもだ
事実16: 仮に「あの政治的行為がウォーホークだということはないしその上それは天狗らしくない」ということは間違いだとしたらその結膜は天狗らしい
事実17: もしそのコバルトブルーが天狗らしいとすればそのビブは御出迎えするということはない
事実18: 面映ゆかない物は仕事らしいかもしくは天狗らしくないかあるいはどちらもだ
事実19: もしもそのビブが仕事らしいとしたらそのコバルトブルーは天狗らしいということはない
事実20: 誇らしくない物は行き来でない
事実21: もし仮に「その結膜は天狗らしい」ということは成り立つならそのビブは天狗らしい
事実22: もし仮にある物は仕事らしいかまたは天狗らしいということはないならば御出迎えしない
事実23: あのグリーンピースは香り付けする

仮説: その舌下面は御出迎えする
1. 事実19と事実2から、推論1: "そのコバルトブルーは天狗らしくない"が導かれる
2. 推論1から、推論2: "「「天狗らしくない」ということは成り立つ」物はある"が導かれる
3. 推論2と事実8から、仮説が導かれる

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