その建設工事請け負い契約は過不足無くないけどほろ苦い
fact1: その建設工事請け負い契約は二ＤＫであるということはない fact2: もし「あの梅酢は性であるけどそれは炒らない」ということは事実と異なるとしたら「それは艶めかしい」ということは成り立つ fact3: あの梅酢は御見舞いするということはないとすれば「それは性であるが炒らない」ということは成り立つということはない fact4: 「なにかは分かり掛けないかまたは口さがなくないかまたは両方である」ということは成り立つ fact5: 「分かり掛けないかあるいは口さがなくない」物はあれば「あの梅酢は御見舞いするということはない」ということは間違っていない fact6: もし仮にこの調理時間が転位するとするとそれは過不足無くない fact7: もし過不足無くない物が転位しないならほろ苦くない fact8: もしもこの調理時間が転位しないならばその建設工事請け負い契約は転位しない fact9: 仮にこの調理時間が過不足無いということはないとすればその建設工事請け負い契約は過不足無くない一方でほろ苦い fact10: 仮に「あの梅酢は口腔ケアでないが再起だ」ということは嘘であるならばその年間所得は再起でない fact11: もしもその年間所得が再起でないならばあの建設工事請け負い契約は説明資料であるしまたそれは違反する fact12: 「この調理時間はほろ苦くない」ということは成り立つ fact13: 何かは賛成しないとしたらそれは過不足無くないし加えてそれは転位しない fact14: この養女は転位する fact15: 仮に「説明資料である」物はあるとすれば「この調理時間は当人でないけれど詳しい」ということは間違っている fact16: その建設工事請け負い契約がほろ苦くないとすればあの調理時間はほろ苦いということはない fact17: もしあの梅酢は艶めかしいとすると「それは口腔ケアでないし更にそれは再起だ」ということは間違っている fact18: この調理時間は転位する
fact6 & fact18 -> int1: この調理時間は過不足無いということはない; int1 & fact9 -> hypothesis;
fact6 & fact18 -> int1: ¬{B}{a}; int1 & fact9 -> hypothesis;
そのＡＰＡＦはほろ苦くない
fact20 -> int2: そのＡＰＡＦは過不足無くないしおまけに転位しないならほろ苦くない; fact25 -> int3: もし仮にそのＡＰＡＦが賛成しないならばそれは過不足無くないしそれは転位しない; fact21 & fact27 -> int4: 「あの梅酢は御見舞いしない」ということは真実だ; fact28 & int4 -> int5: 「あの梅酢は性だけれどそれは炒らない」ということは成り立たない; fact23 & int5 -> int6: あの梅酢は艶めかしい; fact19 & int6 -> int7: 「あの梅酢は口腔ケアでないけれどそれは再起だ」ということは本当でない; fact26 & int7 -> int8: その年間所得は再起でない; fact22 & int8 -> int9: 「その建設工事請け負い契約が説明資料だしさらにそれは違反する」ということは本当である; int9 -> int10: その建設工事請け負い契約は説明資料である; int10 -> int11: 「説明資料な」ものはある; int11 & fact24 -> int12: 「この調理時間は当人でない一方で詳しい」ということは成り立つということはない; int12 -> int13: 「「当人でないが詳しい」ということは真実でない」物はある;
$facts$ = fact1: その建設工事請け負い契約は二ＤＫであるということはない fact2: もし「あの梅酢は性であるけどそれは炒らない」ということは事実と異なるとしたら「それは艶めかしい」ということは成り立つ fact3: あの梅酢は御見舞いするということはないとすれば「それは性であるが炒らない」ということは成り立つということはない fact4: 「なにかは分かり掛けないかまたは口さがなくないかまたは両方である」ということは成り立つ fact5: 「分かり掛けないかあるいは口さがなくない」物はあれば「あの梅酢は御見舞いするということはない」ということは間違っていない fact6: もし仮にこの調理時間が転位するとするとそれは過不足無くない fact7: もし過不足無くない物が転位しないならほろ苦くない fact8: もしもこの調理時間が転位しないならばその建設工事請け負い契約は転位しない fact9: 仮にこの調理時間が過不足無いということはないとすればその建設工事請け負い契約は過不足無くない一方でほろ苦い fact10: 仮に「あの梅酢は口腔ケアでないが再起だ」ということは嘘であるならばその年間所得は再起でない fact11: もしもその年間所得が再起でないならばあの建設工事請け負い契約は説明資料であるしまたそれは違反する fact12: 「この調理時間はほろ苦くない」ということは成り立つ fact13: 何かは賛成しないとしたらそれは過不足無くないし加えてそれは転位しない fact14: この養女は転位する fact15: 仮に「説明資料である」物はあるとすれば「この調理時間は当人でないけれど詳しい」ということは間違っている fact16: その建設工事請け負い契約がほろ苦くないとすればあの調理時間はほろ苦いということはない fact17: もしあの梅酢は艶めかしいとすると「それは口腔ケアでないし更にそれは再起だ」ということは間違っている fact18: この調理時間は転位する ; $hypothesis$ = その建設工事請け負い契約は過不足無くないけどほろ苦い ; $proof$ = 
fact6 & fact18 -> int1: この調理時間は過不足無いということはない; int1 & fact9 -> hypothesis; __PROVED__
事実1: その建設工事請け負い契約は二ＤＫであるということはない
事実2: もし「あの梅酢は性であるけどそれは炒らない」ということは事実と異なるとしたら「それは艶めかしい」ということは成り立つ
事実3: あの梅酢は御見舞いするということはないとすれば「それは性であるが炒らない」ということは成り立つということはない
事実4: 「なにかは分かり掛けないかまたは口さがなくないかまたは両方である」ということは成り立つ
事実5: 「分かり掛けないかあるいは口さがなくない」物はあれば「あの梅酢は御見舞いするということはない」ということは間違っていない
事実6: もし仮にこの調理時間が転位するとするとそれは過不足無くない
事実7: もし過不足無くない物が転位しないならほろ苦くない
事実8: もしもこの調理時間が転位しないならばその建設工事請け負い契約は転位しない
事実9: 仮にこの調理時間が過不足無いということはないとすればその建設工事請け負い契約は過不足無くない一方でほろ苦い
事実10: 仮に「あの梅酢は口腔ケアでないが再起だ」ということは嘘であるならばその年間所得は再起でない
事実11: もしもその年間所得が再起でないならばあの建設工事請け負い契約は説明資料であるしまたそれは違反する
事実12: 「この調理時間はほろ苦くない」ということは成り立つ
事実13: 何かは賛成しないとしたらそれは過不足無くないし加えてそれは転位しない
事実14: この養女は転位する
事実15: 仮に「説明資料である」物はあるとすれば「この調理時間は当人でないけれど詳しい」ということは間違っている
事実16: その建設工事請け負い契約がほろ苦くないとすればあの調理時間はほろ苦いということはない
事実17: もしあの梅酢は艶めかしいとすると「それは口腔ケアでないし更にそれは再起だ」ということは間違っている
事実18: この調理時間は転位する

仮説: その建設工事請け負い契約は過不足無くないけどほろ苦い
1. 事実6と事実18から、推論1: "この調理時間は過不足無いということはない"が導かれる
2. 推論1と事実9から、仮説が導かれる

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