「その乗組員達はすんごくないがしかし難度だ」ということは間違いだ
fact1: 「その乗組員達は怒鳴り返さないけれどすんごい」ということは成り立たない fact2: とあるものはセット出来るとしたら「それは熱望する」ということは確かである fact3: あのビニールシートは活躍するけど怒鳴り返さない fact4: その挫屈はすんごい fact5: 仮にあのビニールシートが難度であるが一時ファイルでないとしたら熱望しない fact6: 仮にあのビニールシートが難度であるがすんごくないとしたら活躍しない fact7: 難度は熱望する fact8: もし仮にとある物は捜査状況であるとすれば「使い易い」ということは誤っているということはない fact9: もし仮にあのビニールシートがセット出来るけれど一時ファイルであるということはないとするとそれはすんごいということはない fact10: もしもあるものが活躍するしまた怒鳴り返せばそれは熱望しない fact11: あのＢ市は怒鳴り返さない fact12: 「あのビニールシートは熱望するけれどセット出来ない」ということは事実と異なるとしたらその乗組員達はセット出来ない fact13: その乗組員達は一時ファイルでない fact14: 何かは活躍するけれど怒鳴り返すということはないならば熱望しない fact15: もしも何かは一時ファイルならばそれはセット出来る fact16: もし仮にその乗組員達がすんごいということはない一方で怒鳴り返せばあのビニールシートは難度だ fact17: 仮になんらかのものが口喧しいなら青春シリーズである fact18: あのビニールシートは怒鳴り返さない fact19: 「あのビニールシートは回りくどくないけどそれは入射フォトンだ」ということは事実でない fact20: もし仮にその乗組員達は熱望する一方ですんごくないとするとセット出来ない fact21: もしもあのビニールシートは活躍するし怒鳴り返すとしたら熱望しない fact22: その乗組員達は難度だ fact23: 「その不公平感はバクテリアでないけど秘湯だ」ということは成り立つということはない fact24: その乗組員達がすんごくないがそれが難度であるならあのビニールシートは一時ファイルである
void -> assump1: 以下のように仮定する。その乗組員達はすんごくないがしかし難度である; fact24 & assump1 -> int1: 「あのビニールシートは一時ファイルだ」ということは成り立つ; fact15 -> int2: もしあのビニールシートが一時ファイルだとしたらそれはセット出来る; int1 & int2 -> int3: あのビニールシートはセット出来る; fact2 -> int4: あのビニールシートがセット出来ればそれは熱望する; int3 & int4 -> int5: あのビニールシートは熱望する; fact14 -> int6: 仮にあのビニールシートが活躍する一方でそれが怒鳴り返さないとしたらそれは熱望しない; int6 & fact3 -> int7: あのビニールシートは熱望しない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その乗組員達はすんごいということはない一方でそれは難度だ
$facts$ = fact1: 「その乗組員達は怒鳴り返さないけれどすんごい」ということは成り立たない fact2: とあるものはセット出来るとしたら「それは熱望する」ということは確かである fact3: あのビニールシートは活躍するけど怒鳴り返さない fact4: その挫屈はすんごい fact5: 仮にあのビニールシートが難度であるが一時ファイルでないとしたら熱望しない fact6: 仮にあのビニールシートが難度であるがすんごくないとしたら活躍しない fact7: 難度は熱望する fact8: もし仮にとある物は捜査状況であるとすれば「使い易い」ということは誤っているということはない fact9: もし仮にあのビニールシートがセット出来るけれど一時ファイルであるということはないとするとそれはすんごいということはない fact10: もしもあるものが活躍するしまた怒鳴り返せばそれは熱望しない fact11: あのＢ市は怒鳴り返さない fact12: 「あのビニールシートは熱望するけれどセット出来ない」ということは事実と異なるとしたらその乗組員達はセット出来ない fact13: その乗組員達は一時ファイルでない fact14: 何かは活躍するけれど怒鳴り返すということはないならば熱望しない fact15: もしも何かは一時ファイルならばそれはセット出来る fact16: もし仮にその乗組員達がすんごいということはない一方で怒鳴り返せばあのビニールシートは難度だ fact17: 仮になんらかのものが口喧しいなら青春シリーズである fact18: あのビニールシートは怒鳴り返さない fact19: 「あのビニールシートは回りくどくないけどそれは入射フォトンだ」ということは事実でない fact20: もし仮にその乗組員達は熱望する一方ですんごくないとするとセット出来ない fact21: もしもあのビニールシートは活躍するし怒鳴り返すとしたら熱望しない fact22: その乗組員達は難度だ fact23: 「その不公平感はバクテリアでないけど秘湯だ」ということは成り立つということはない fact24: その乗組員達がすんごくないがそれが難度であるならあのビニールシートは一時ファイルである ; $hypothesis$ = 「その乗組員達はすんごくないがしかし難度だ」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その乗組員達はすんごくないがしかし難度である; fact24 & assump1 -> int1: 「あのビニールシートは一時ファイルだ」ということは成り立つ; fact15 -> int2: もしあのビニールシートが一時ファイルだとしたらそれはセット出来る; int1 & int2 -> int3: あのビニールシートはセット出来る; fact2 -> int4: あのビニールシートがセット出来ればそれは熱望する; int3 & int4 -> int5: あのビニールシートは熱望する; fact14 -> int6: 仮にあのビニールシートが活躍する一方でそれが怒鳴り返さないとしたらそれは熱望しない; int6 & fact3 -> int7: あのビニールシートは熱望しない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: 「その不公平感はバクテリアでないけど秘湯だ」ということは成り立つということはない
事実24: その乗組員達がすんごくないがそれが難度であるならあのビニールシートは一時ファイルである

仮説: 「その乗組員達はすんごくないがしかし難度だ」ということは間違いだ
1. 仮定1: 以下のように仮定する。その乗組員達はすんごくないがしかし難度である
2. 事実24と仮定1から、推論1: "「あのビニールシートは一時ファイルだ」ということは成り立つ"が導かれる
3. 事実15から、推論2: "もしあのビニールシートが一時ファイルだとしたらそれはセット出来る"が導かれる
4. 推論1と推論2から、推論3: "あのビニールシートはセット出来る"が導かれる
5. 事実2から、推論4: "あのビニールシートがセット出来ればそれは熱望する"が導かれる
6. 推論3と推論4から、推論5: "あのビニールシートは熱望する"が導かれる
7. 事実14から、推論6: "仮にあのビニールシートが活躍する一方でそれが怒鳴り返さないとしたらそれは熱望しない"が導かれる
8. 推論6と事実3から、推論7: "あのビニールシートは熱望しない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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