この共同治療者は会社四季報だ
fact1: 「仮にこの共同治療者がデザイン思想ならばこの共同治療者は踏み止まれる」ということは確かだ fact2: もしその送辞がデザイン思想だとするとそれは踏み止まれなくて更にそれは会社四季報だ fact3: もしこの共同治療者は協議決定だとすると「この問題点・疑問点は表明しない」ということは事実である fact4: 仮にあるものは遠ざからないとしたら「デザイン思想でなくて加えてそれは踏み止まれる」ということは成り立たない fact5: もしもこの共同治療者が踏み止まれる一方でそれは協議決定でないとするとそれは会社四季報でない fact6: もしこの問題点・疑問点が踏み止まれないとしたらこの共同治療者は表明するということはない一方で協議決定である fact7: ある物が表明しないとすると協議決定であるし更に会社四季報である fact8: この共同治療者はデザイン思想だ fact9: 「この共同治療者が表明するということはないがしかしそれが協議決定ならあの上げ下ろしはデザイン思想である」ということは正しい fact10: この問題点・疑問点は表明する fact11: その送辞は遠ざかるとすれば「それはデザイン思想だ」ということは本当である fact12: このレーシングは会社四季報である
void -> assump1: 以下のように仮定する。この共同治療者は協議決定である; fact3 & assump1 -> int1: この問題点・疑問点は表明しない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: この共同治療者は協議決定でない; fact1 & fact8 -> int4: この共同治療者は踏み止まれる; int3 & int4 -> int5: この共同治療者は踏み止まれるけれど協議決定でない; int5 & fact5 -> hypothesis;
この共同治療者は会社四季報だ
fact14 -> int6: もし仮にこの共同治療者が表明しないとしたらそれは協議決定であるしおまけに会社四季報だ; fact13 -> int7: この問題点・疑問点は遠ざからないならば「それはデザイン思想でなくて踏み止まれる」ということは事実と異なる;
$facts$ = fact1: 「仮にこの共同治療者がデザイン思想ならばこの共同治療者は踏み止まれる」ということは確かだ fact2: もしその送辞がデザイン思想だとするとそれは踏み止まれなくて更にそれは会社四季報だ fact3: もしこの共同治療者は協議決定だとすると「この問題点・疑問点は表明しない」ということは事実である fact4: 仮にあるものは遠ざからないとしたら「デザイン思想でなくて加えてそれは踏み止まれる」ということは成り立たない fact5: もしもこの共同治療者が踏み止まれる一方でそれは協議決定でないとするとそれは会社四季報でない fact6: もしこの問題点・疑問点が踏み止まれないとしたらこの共同治療者は表明するということはない一方で協議決定である fact7: ある物が表明しないとすると協議決定であるし更に会社四季報である fact8: この共同治療者はデザイン思想だ fact9: 「この共同治療者が表明するということはないがしかしそれが協議決定ならあの上げ下ろしはデザイン思想である」ということは正しい fact10: この問題点・疑問点は表明する fact11: その送辞は遠ざかるとすれば「それはデザイン思想だ」ということは本当である fact12: このレーシングは会社四季報である ; $hypothesis$ = この共同治療者は会社四季報だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この共同治療者は協議決定である; fact3 & assump1 -> int1: この問題点・疑問点は表明しない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: この共同治療者は協議決定でない; fact1 & fact8 -> int4: この共同治療者は踏み止まれる; int3 & int4 -> int5: この共同治療者は踏み止まれるけれど協議決定でない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: 「仮にこの共同治療者がデザイン思想ならばこの共同治療者は踏み止まれる」ということは確かだ
事実2: もしその送辞がデザイン思想だとするとそれは踏み止まれなくて更にそれは会社四季報だ
事実3: もしこの共同治療者は協議決定だとすると「この問題点・疑問点は表明しない」ということは事実である
事実4: 仮にあるものは遠ざからないとしたら「デザイン思想でなくて加えてそれは踏み止まれる」ということは成り立たない
事実5: もしもこの共同治療者が踏み止まれる一方でそれは協議決定でないとするとそれは会社四季報でない
事実6: もしこの問題点・疑問点が踏み止まれないとしたらこの共同治療者は表明するということはない一方で協議決定である
事実7: ある物が表明しないとすると協議決定であるし更に会社四季報である
事実8: この共同治療者はデザイン思想だ
事実9: 「この共同治療者が表明するということはないがしかしそれが協議決定ならあの上げ下ろしはデザイン思想である」ということは正しい
事実10: この問題点・疑問点は表明する
事実11: その送辞は遠ざかるとすれば「それはデザイン思想だ」ということは本当である
事実12: このレーシングは会社四季報である

仮説: この共同治療者は会社四季報だ
1. 仮定1: 以下のように仮定する。この共同治療者は協議決定である
2. 事実3と仮定1から、推論1: "この問題点・疑問点は表明しない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この共同治療者は協議決定でない"が導かれる
5. 事実1と事実8から、推論4: "この共同治療者は踏み止まれる"が導かれる
6. 推論3と推論4から、推論5: "この共同治療者は踏み止まれるけれど協議決定でない"が導かれる
7. 推論5と事実5から、仮説が否定される

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