「あの七箇条制戒は思わしくてそれに難しい」ということは本当だということはない
fact1: もし「とある物はだらし無くないししかも分析評価しない」ということは間違っているなら思わしい fact2: あの七箇条制戒は見窄らしいとしたら「それはだらし無いがしかし分析評価しない」ということは偽だ fact3: 「「親族表だということはないしおまけにクリアファイルである」ということは成り立たない」物はある fact4: ある物は親族表でなくてかつクリアファイルでない fact5: もし仮にその見回り組は丹であるとすればそれは管理支配しない fact6: 「あの七箇条制戒はだらし無いが分析評価するということはない」ということは誤っている fact7: もし仮に「何らかのものは寄り添うしまたそれは提供し始める」ということは成り立たないとしたら「それはクリアファイルでない」ということは成り立つ fact8: もしもその見回り組は管理支配しないとすれば「寄り添うしまた提供し始める」ということは誤りである fact9: もしあの七箇条制戒がだらし無いならば思わしい fact10: 「「親族表でなくて更にクリアファイルでない」ということは成り立たない」物があるとしたらあの七箇条制戒は難しい fact11: もし仮に「「その見回り組は親族表であるかあるいは難しい」ということは誤っている」ということは事実だとすればあの七箇条制戒は思わしいということはない fact12: その見回り組は丹だ fact13: もしあの七箇条制戒は見窄らしいなら「それはだらし無くなくて分析評価しない」ということは偽だ fact14: あの七箇条制戒は見窄らしい fact15: 「「親族表であるしクリアファイルでない」ということは成り立たない」ものはある fact16: 「「親族表でないしクリアファイルでない」ということは成り立たない」ものはある
fact13 & fact14 -> int1: 「あの七箇条制戒はだらし無くないしその上分析評価しない」ということは間違いである; fact1 -> int2: もし仮に「あの七箇条制戒はだらし無くないし分析評価するということはない」ということは嘘であるとしたらそれは思わしい; int1 & int2 -> int3: あの七箇条制戒は思わしい; fact10 & fact16 -> int4: あの七箇条制戒は難しい; int3 & int4 -> hypothesis;
fact13 & fact14 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact1 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; fact10 & fact16 -> int4: {C}{a}; int3 & int4 -> hypothesis;
「あの七箇条制戒は三〜四分である」ということは成り立つ
fact19 -> int5: 「「その見回り組は寄り添うしその上提供し始める」ということは誤りであるとすればその見回り組はクリアファイルでない」ということは正しい; fact21 & fact18 -> int6: その見回り組は管理支配しない; fact20 & int6 -> int7: 「その見回り組は寄り添うし加えて提供し始める」ということは嘘だ; int5 & int7 -> int8: その見回り組はクリアファイルでない;
$facts$ = fact1: もし「とある物はだらし無くないししかも分析評価しない」ということは間違っているなら思わしい fact2: あの七箇条制戒は見窄らしいとしたら「それはだらし無いがしかし分析評価しない」ということは偽だ fact3: 「「親族表だということはないしおまけにクリアファイルである」ということは成り立たない」物はある fact4: ある物は親族表でなくてかつクリアファイルでない fact5: もし仮にその見回り組は丹であるとすればそれは管理支配しない fact6: 「あの七箇条制戒はだらし無いが分析評価するということはない」ということは誤っている fact7: もし仮に「何らかのものは寄り添うしまたそれは提供し始める」ということは成り立たないとしたら「それはクリアファイルでない」ということは成り立つ fact8: もしもその見回り組は管理支配しないとすれば「寄り添うしまた提供し始める」ということは誤りである fact9: もしあの七箇条制戒がだらし無いならば思わしい fact10: 「「親族表でなくて更にクリアファイルでない」ということは成り立たない」物があるとしたらあの七箇条制戒は難しい fact11: もし仮に「「その見回り組は親族表であるかあるいは難しい」ということは誤っている」ということは事実だとすればあの七箇条制戒は思わしいということはない fact12: その見回り組は丹だ fact13: もしあの七箇条制戒は見窄らしいなら「それはだらし無くなくて分析評価しない」ということは偽だ fact14: あの七箇条制戒は見窄らしい fact15: 「「親族表であるしクリアファイルでない」ということは成り立たない」ものはある fact16: 「「親族表でないしクリアファイルでない」ということは成り立たない」ものはある ; $hypothesis$ = 「あの七箇条制戒は思わしくてそれに難しい」ということは本当だということはない ; $proof$ = 
fact13 & fact14 -> int1: 「あの七箇条制戒はだらし無くないしその上分析評価しない」ということは間違いである; fact1 -> int2: もし仮に「あの七箇条制戒はだらし無くないし分析評価するということはない」ということは嘘であるとしたらそれは思わしい; int1 & int2 -> int3: あの七箇条制戒は思わしい; fact10 & fact16 -> int4: あの七箇条制戒は難しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし「とある物はだらし無くないししかも分析評価しない」ということは間違っているなら思わしい
事実2: あの七箇条制戒は見窄らしいとしたら「それはだらし無いがしかし分析評価しない」ということは偽だ
事実3: 「「親族表だということはないしおまけにクリアファイルである」ということは成り立たない」物はある
事実4: ある物は親族表でなくてかつクリアファイルでない
事実5: もし仮にその見回り組は丹であるとすればそれは管理支配しない
事実6: 「あの七箇条制戒はだらし無いが分析評価するということはない」ということは誤っている
事実7: もし仮に「何らかのものは寄り添うしまたそれは提供し始める」ということは成り立たないとしたら「それはクリアファイルでない」ということは成り立つ
事実8: もしもその見回り組は管理支配しないとすれば「寄り添うしまた提供し始める」ということは誤りである
事実9: もしあの七箇条制戒がだらし無いならば思わしい
事実10: 「「親族表でなくて更にクリアファイルでない」ということは成り立たない」物があるとしたらあの七箇条制戒は難しい
事実11: もし仮に「「その見回り組は親族表であるかあるいは難しい」ということは誤っている」ということは事実だとすればあの七箇条制戒は思わしいということはない
事実12: その見回り組は丹だ
事実13: もしあの七箇条制戒は見窄らしいなら「それはだらし無くなくて分析評価しない」ということは偽だ
事実14: あの七箇条制戒は見窄らしい
事実15: 「「親族表であるしクリアファイルでない」ということは成り立たない」ものはある
事実16: 「「親族表でないしクリアファイルでない」ということは成り立たない」ものはある

仮説: 「あの七箇条制戒は思わしくてそれに難しい」ということは本当だということはない
1. 事実13と事実14から、推論1: "「あの七箇条制戒はだらし無くないしその上分析評価しない」ということは間違いである"が導かれる
2. 事実1から、推論2: "もし仮に「あの七箇条制戒はだらし無くないし分析評価するということはない」ということは嘘であるとしたらそれは思わしい"が導かれる
3. 推論1と推論2から、推論3: "あの七箇条制戒は思わしい"が導かれる
4. 事実10と事実16から、推論4: "あの七箇条制戒は難しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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