この他業種は機能する
fact1: この副担当は公表出来るし機能する fact2: その選択的時間は四時半頃だということはないけれど執着気質だ fact3: もしもこの他業種は機能するなら「この副担当は痛ましい」ということは本当だ fact4: 仮にこの副担当が動けるならばあの他業種は痛ましい fact5: その選択的時間は機能するしまたそれは公表出来る fact6: もし仮にあの岩波隊が動けないし四時半頃でないならばあの選択的時間は動けない fact7: 「この他業種は絶縁しない」ということは事実だ fact8: 「この副担当は痛ましい」ということは成り立つ fact9: その選択的時間は執着気質で長い fact10: とある物は刃傷沙汰でないとしたらそれは動ける fact11: もしその選択的時間が四時半頃でない一方でそれが執着気質だとしたらこの他業種は執着気質である fact12: 仮に「ある物は執着気質であるし更に長い」ということは事実であるとしたらそれは刃傷沙汰でない fact13: 仮にあの岩波隊が違くないとすればそれは動けない fact14: 「もし「この他業種は痛ましくて更に執着気質である」ということは正しいならば「この他業種は機能しない」ということは成り立つ」ということは成り立つ fact15: もしこの副担当が執着気質であるとすればあの他業種は動ける fact16: この他業種は刃傷沙汰でない fact17: この副担当は執着気質だ fact18: この他業種は動ける fact19: この副担当は刃傷沙汰だということはない fact20: もしもその選択的時間が刃傷沙汰でないとすればそれは執着気質だ fact21: もしもその選択的時間が刃傷沙汰でないしそれに動けるということはないとすればあの他業種は刃傷沙汰でない
fact10 -> int1: もしこの副担当は刃傷沙汰であるということはないならそれは動ける; int1 & fact19 -> int2: この副担当は動ける; int2 & fact4 -> int3: この他業種は痛ましい; fact2 & fact11 -> int4: この他業種は執着気質だ; int3 & int4 -> int5: この他業種は痛ましくて執着気質である; int5 & fact14 -> hypothesis;
この他業種は機能する
fact22 -> int6: その選択的時間は執着気質であるし長いなら刃傷沙汰でない; int6 & fact23 -> int7: 「その選択的時間は刃傷沙汰でない」ということは本当だ;
$facts$ = fact1: この副担当は公表出来るし機能する fact2: その選択的時間は四時半頃だということはないけれど執着気質だ fact3: もしもこの他業種は機能するなら「この副担当は痛ましい」ということは本当だ fact4: 仮にこの副担当が動けるならばあの他業種は痛ましい fact5: その選択的時間は機能するしまたそれは公表出来る fact6: もし仮にあの岩波隊が動けないし四時半頃でないならばあの選択的時間は動けない fact7: 「この他業種は絶縁しない」ということは事実だ fact8: 「この副担当は痛ましい」ということは成り立つ fact9: その選択的時間は執着気質で長い fact10: とある物は刃傷沙汰でないとしたらそれは動ける fact11: もしその選択的時間が四時半頃でない一方でそれが執着気質だとしたらこの他業種は執着気質である fact12: 仮に「ある物は執着気質であるし更に長い」ということは事実であるとしたらそれは刃傷沙汰でない fact13: 仮にあの岩波隊が違くないとすればそれは動けない fact14: 「もし「この他業種は痛ましくて更に執着気質である」ということは正しいならば「この他業種は機能しない」ということは成り立つ」ということは成り立つ fact15: もしこの副担当が執着気質であるとすればあの他業種は動ける fact16: この他業種は刃傷沙汰でない fact17: この副担当は執着気質だ fact18: この他業種は動ける fact19: この副担当は刃傷沙汰だということはない fact20: もしもその選択的時間が刃傷沙汰でないとすればそれは執着気質だ fact21: もしもその選択的時間が刃傷沙汰でないしそれに動けるということはないとすればあの他業種は刃傷沙汰でない ; $hypothesis$ = この他業種は機能する ; $proof$ = 
fact10 -> int1: もしこの副担当は刃傷沙汰であるということはないならそれは動ける; int1 & fact19 -> int2: この副担当は動ける; int2 & fact4 -> int3: この他業種は痛ましい; fact2 & fact11 -> int4: この他業種は執着気質だ; int3 & int4 -> int5: この他業種は痛ましくて執着気質である; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: この副担当は公表出来るし機能する
事実2: その選択的時間は四時半頃だということはないけれど執着気質だ
事実3: もしもこの他業種は機能するなら「この副担当は痛ましい」ということは本当だ
事実4: 仮にこの副担当が動けるならばあの他業種は痛ましい
事実5: その選択的時間は機能するしまたそれは公表出来る
事実6: もし仮にあの岩波隊が動けないし四時半頃でないならばあの選択的時間は動けない
事実7: 「この他業種は絶縁しない」ということは事実だ
事実8: 「この副担当は痛ましい」ということは成り立つ
事実9: その選択的時間は執着気質で長い
事実10: とある物は刃傷沙汰でないとしたらそれは動ける
事実11: もしその選択的時間が四時半頃でない一方でそれが執着気質だとしたらこの他業種は執着気質である
事実12: 仮に「ある物は執着気質であるし更に長い」ということは事実であるとしたらそれは刃傷沙汰でない
事実13: 仮にあの岩波隊が違くないとすればそれは動けない
事実14: 「もし「この他業種は痛ましくて更に執着気質である」ということは正しいならば「この他業種は機能しない」ということは成り立つ」ということは成り立つ
事実15: もしこの副担当が執着気質であるとすればあの他業種は動ける
事実16: この他業種は刃傷沙汰でない
事実17: この副担当は執着気質だ
事実18: この他業種は動ける
事実19: この副担当は刃傷沙汰だということはない
事実20: もしもその選択的時間が刃傷沙汰でないとすればそれは執着気質だ
事実21: もしもその選択的時間が刃傷沙汰でないしそれに動けるということはないとすればあの他業種は刃傷沙汰でない

仮説: この他業種は機能する
1. 事実10から、推論1: "もしこの副担当は刃傷沙汰であるということはないならそれは動ける"が導かれる
2. 推論1と事実19から、推論2: "この副担当は動ける"が導かれる
3. 推論2と事実4から、推論3: "この他業種は痛ましい"が導かれる
4. 事実2と事実11から、推論4: "この他業種は執着気質だ"が導かれる
5. 推論3と推論4から、推論5: "この他業種は痛ましくて執着気質である"が導かれる
6. 推論5と事実14から、仮説が否定される

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