そのレベル以上は愛くるしい
fact1: もしこの離脱は選り好みしないなら「この御初は公衆衛生でないしさらにそれは客引きでない」ということは成り立たない fact2: 「「下げ続けない」ということは事実な」物はある fact3: もし仮に「そのあっさり味は公衆衛生でないしさらに選り好みしない」ということは偽であるとしたらそれは選り好みする fact4: 「Ｊ社は阿呆らしい」ということは誤りでない fact5: もし仮に「なにがしかのものは公衆衛生でなくて客引きでない」ということは誤りならＪ社だ fact6: 仮に何らかのものは下げ続けないとすると「「この離脱は忠実忠実しいが因り難くない」ということは偽である」ということは成り立つ fact7: 仮に「この離脱は忠実忠実しいがしかし因り難くない」ということは成り立たないならば選り好みしない fact8: 「もしこの御初が客引きだとしたらこの御初はＪ社である」ということは正しい fact9: この御初が阿呆らしいとすればそのレベル以上は愛くるしい fact10: 因り難いということはないものは下げ続けるし忠実忠実しい
fact2 & fact6 -> int1: 「この離脱は忠実忠実しいが因り難くない」ということは偽である; int1 & fact7 -> int2: この離脱は選り好みしない; int2 & fact1 -> int3: 「この御初は公衆衛生だということはなくてそれは客引きでない」ということは成り立つということはない; fact5 -> int4: もし「この御初は公衆衛生でなくてかつ客引きでない」ということは誤りであるとしたらＪ社である; int3 & int4 -> int5: 「この御初はＪ社である」ということは成り立つ; fact4 -> int6: もし仮にこの御初がＪ社ならそれは阿呆らしい; int5 & int6 -> int7: 「この御初は阿呆らしい」ということは確かである; int7 & fact9 -> hypothesis;
そのあっさり味は忠実忠実しい
fact12 -> int8: もし仮にそのあっさり味が因り難くないとしたらそれは下げ続けるし忠実忠実しい;
$facts$ = fact1: もしこの離脱は選り好みしないなら「この御初は公衆衛生でないしさらにそれは客引きでない」ということは成り立たない fact2: 「「下げ続けない」ということは事実な」物はある fact3: もし仮に「そのあっさり味は公衆衛生でないしさらに選り好みしない」ということは偽であるとしたらそれは選り好みする fact4: 「Ｊ社は阿呆らしい」ということは誤りでない fact5: もし仮に「なにがしかのものは公衆衛生でなくて客引きでない」ということは誤りならＪ社だ fact6: 仮に何らかのものは下げ続けないとすると「「この離脱は忠実忠実しいが因り難くない」ということは偽である」ということは成り立つ fact7: 仮に「この離脱は忠実忠実しいがしかし因り難くない」ということは成り立たないならば選り好みしない fact8: 「もしこの御初が客引きだとしたらこの御初はＪ社である」ということは正しい fact9: この御初が阿呆らしいとすればそのレベル以上は愛くるしい fact10: 因り難いということはないものは下げ続けるし忠実忠実しい ; $hypothesis$ = そのレベル以上は愛くるしい ; $proof$ = 
fact2 & fact6 -> int1: 「この離脱は忠実忠実しいが因り難くない」ということは偽である; int1 & fact7 -> int2: この離脱は選り好みしない; int2 & fact1 -> int3: 「この御初は公衆衛生だということはなくてそれは客引きでない」ということは成り立つということはない; fact5 -> int4: もし「この御初は公衆衛生でなくてかつ客引きでない」ということは誤りであるとしたらＪ社である; int3 & int4 -> int5: 「この御初はＪ社である」ということは成り立つ; fact4 -> int6: もし仮にこの御初がＪ社ならそれは阿呆らしい; int5 & int6 -> int7: 「この御初は阿呆らしい」ということは確かである; int7 & fact9 -> hypothesis; __PROVED__
事実1: もしこの離脱は選り好みしないなら「この御初は公衆衛生でないしさらにそれは客引きでない」ということは成り立たない
事実2: 「「下げ続けない」ということは事実な」物はある
事実3: もし仮に「そのあっさり味は公衆衛生でないしさらに選り好みしない」ということは偽であるとしたらそれは選り好みする
事実4: 「Ｊ社は阿呆らしい」ということは誤りでない
事実5: もし仮に「なにがしかのものは公衆衛生でなくて客引きでない」ということは誤りならＪ社だ
事実6: 仮に何らかのものは下げ続けないとすると「「この離脱は忠実忠実しいが因り難くない」ということは偽である」ということは成り立つ
事実7: 仮に「この離脱は忠実忠実しいがしかし因り難くない」ということは成り立たないならば選り好みしない
事実8: 「もしこの御初が客引きだとしたらこの御初はＪ社である」ということは正しい
事実9: この御初が阿呆らしいとすればそのレベル以上は愛くるしい
事実10: 因り難いということはないものは下げ続けるし忠実忠実しい

仮説: そのレベル以上は愛くるしい
1. 事実2と事実6から、推論1: "「この離脱は忠実忠実しいが因り難くない」ということは偽である"が導かれる
2. 推論1と事実7から、推論2: "この離脱は選り好みしない"が導かれる
3. 推論2と事実1から、推論3: "「この御初は公衆衛生だということはなくてそれは客引きでない」ということは成り立つということはない"が導かれる
4. 事実5から、推論4: "もし「この御初は公衆衛生でなくてかつ客引きでない」ということは誤りであるとしたらＪ社である"が導かれる
5. 推論3と推論4から、推論5: "「この御初はＪ社である」ということは成り立つ"が導かれる
6. 事実4から、推論6: "もし仮にこの御初がＪ社ならそれは阿呆らしい"が導かれる
7. 推論5と推論6から、推論7: "「この御初は阿呆らしい」ということは確かである"が導かれる
8. 推論7と事実9から、仮説が導かれる

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