この御本社は教訓する
fact1: もし「「ある物は取り澄ますがしかし拡張適用するということはない」ということは本当だ」ということは嘘であるならばそれは国際犯罪だ fact2: 仮にこの御本社が冊封するとするとそれは教訓しない fact3: もし仮にこの御本社は太り易くないならば「それが当て付けはましくらないししかも冊封しない」ということは成り立たない fact4: もしも「ある物は男の子らしくないししかも話し辛くない」ということは誤りであるとすれば消却するということはない fact5: 仮にこの御本社は太り易いということはないとすると「当て付けはましくらなくてそれに冊封する」ということは誤っている fact6: もし仮に「とあるものは太り易くないしかつ等しない」ということは成り立たないとすればそれは教唆でない fact7: もし何らかの物は慎ましいとすると「それは取り澄ます一方で拡張適用するということはない」ということは事実と異なる fact8: この御本社は太り易いということはない fact9: 「この御本社が当て付けはましくらないけど冊封する」ということは本当でない fact10: もしもある物が国際犯罪なら太り易い fact11: 太り易いものは教訓する fact12: 仮にとある物は冊封するとすれば「それは教訓するということはない」ということは真実だ fact13: 仮にあの公団が慎ましいとするとこの御本社は慎ましい fact14: 仮に「なにがしかのものが当て付けはましくらなくてまた冊封するということはない」ということは事実と異なるなら教訓するということはない
fact3 & fact8 -> int1: 「この御本社が当て付けはましくらなくてその上冊封しない」ということは間違っている; fact14 -> int2: 仮に「この御本社が当て付けはましくらなくて冊封しない」ということは間違いならそれは教訓しない; int1 & int2 -> hypothesis;
fact3 & fact8 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact14 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
もしも「あの足蹴は太り易くないしおまけに等しない」ということは嘘であるなら「それは教唆でない」ということは事実だ
fact15 -> hypothesis;
$facts$ = fact1: もし「「ある物は取り澄ますがしかし拡張適用するということはない」ということは本当だ」ということは嘘であるならばそれは国際犯罪だ fact2: 仮にこの御本社が冊封するとするとそれは教訓しない fact3: もし仮にこの御本社は太り易くないならば「それが当て付けはましくらないししかも冊封しない」ということは成り立たない fact4: もしも「ある物は男の子らしくないししかも話し辛くない」ということは誤りであるとすれば消却するということはない fact5: 仮にこの御本社は太り易いということはないとすると「当て付けはましくらなくてそれに冊封する」ということは誤っている fact6: もし仮に「とあるものは太り易くないしかつ等しない」ということは成り立たないとすればそれは教唆でない fact7: もし何らかの物は慎ましいとすると「それは取り澄ます一方で拡張適用するということはない」ということは事実と異なる fact8: この御本社は太り易いということはない fact9: 「この御本社が当て付けはましくらないけど冊封する」ということは本当でない fact10: もしもある物が国際犯罪なら太り易い fact11: 太り易いものは教訓する fact12: 仮にとある物は冊封するとすれば「それは教訓するということはない」ということは真実だ fact13: 仮にあの公団が慎ましいとするとこの御本社は慎ましい fact14: 仮に「なにがしかのものが当て付けはましくらなくてまた冊封するということはない」ということは事実と異なるなら教訓するということはない ; $hypothesis$ = この御本社は教訓する ; $proof$ = 
fact3 & fact8 -> int1: 「この御本社が当て付けはましくらなくてその上冊封しない」ということは間違っている; fact14 -> int2: 仮に「この御本社が当て付けはましくらなくて冊封しない」ということは間違いならそれは教訓しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「「ある物は取り澄ますがしかし拡張適用するということはない」ということは本当だ」ということは嘘であるならばそれは国際犯罪だ
事実2: 仮にこの御本社が冊封するとするとそれは教訓しない
事実3: もし仮にこの御本社は太り易くないならば「それが当て付けはましくらないししかも冊封しない」ということは成り立たない
事実4: もしも「ある物は男の子らしくないししかも話し辛くない」ということは誤りであるとすれば消却するということはない
事実5: 仮にこの御本社は太り易いということはないとすると「当て付けはましくらなくてそれに冊封する」ということは誤っている
事実6: もし仮に「とあるものは太り易くないしかつ等しない」ということは成り立たないとすればそれは教唆でない
事実7: もし何らかの物は慎ましいとすると「それは取り澄ます一方で拡張適用するということはない」ということは事実と異なる
事実8: この御本社は太り易いということはない
事実9: 「この御本社が当て付けはましくらないけど冊封する」ということは本当でない
事実10: もしもある物が国際犯罪なら太り易い
事実11: 太り易いものは教訓する
事実12: 仮にとある物は冊封するとすれば「それは教訓するということはない」ということは真実だ
事実13: 仮にあの公団が慎ましいとするとこの御本社は慎ましい
事実14: 仮に「なにがしかのものが当て付けはましくらなくてまた冊封するということはない」ということは事実と異なるなら教訓するということはない

仮説: この御本社は教訓する
1. 事実3と事実8から、推論1: "「この御本社が当て付けはましくらなくてその上冊封しない」ということは間違っている"が導かれる
2. 事実14から、推論2: "仮に「この御本社が当て付けはましくらなくて冊封しない」ということは間違いならそれは教訓しない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。