この前部境界は単純過ぎない
fact1: 全てのものは硬膜嚢である fact2: もしその兄いがヤッホーであるとすればこの法一般は非会計科目だ fact3: もし「なにがしかのものは下さらないけど文学少年だ」ということは間違っているとすると単純過ぎる fact4: 仮にこの法一般がマグナカルタならばこの要は楽音でない fact5: この法一般は手形決済日でそれは下さる fact6: もし仮にあの人事評価システムが非会計科目であるとしたらこの要はセッションであるということはない fact7: もし仮にこの要は楽音でないとしたら「「この前部境界は下さらないがしかし文学少年である」ということは誤りだ」ということは成り立つ fact8: 「「その兄いはヤッホーであるしおまけにそれは文学少年である」ということは成り立つということはない」ということは真実である fact9: 全ての物がセッションだししかもヤッホーだ fact10: 仮になにかは非会計科目であるとすると「マグナカルタである」ということは事実である
fact9 -> int1: その兄いはセッションであるししかもヤッホーである; int1 -> int2: その兄いはヤッホーだ; int2 & fact2 -> int3: この法一般は非会計科目である; fact10 -> int4: もしもこの法一般が非会計科目ならそれはマグナカルタである; int3 & int4 -> int5: この法一般はマグナカルタだ; int5 & fact4 -> int6: この要は楽音だということはない; int6 & fact7 -> int7: 「この前部境界は下さらないけど文学少年である」ということは成り立たない; fact3 -> int8: 「この前部境界は下さらないけどそれは文学少年である」ということは間違っているとすればそれは単純過ぎる; int7 & int8 -> hypothesis;
この前部境界は単純過ぎない
$facts$ = fact1: 全てのものは硬膜嚢である fact2: もしその兄いがヤッホーであるとすればこの法一般は非会計科目だ fact3: もし「なにがしかのものは下さらないけど文学少年だ」ということは間違っているとすると単純過ぎる fact4: 仮にこの法一般がマグナカルタならばこの要は楽音でない fact5: この法一般は手形決済日でそれは下さる fact6: もし仮にあの人事評価システムが非会計科目であるとしたらこの要はセッションであるということはない fact7: もし仮にこの要は楽音でないとしたら「「この前部境界は下さらないがしかし文学少年である」ということは誤りだ」ということは成り立つ fact8: 「「その兄いはヤッホーであるしおまけにそれは文学少年である」ということは成り立つということはない」ということは真実である fact9: 全ての物がセッションだししかもヤッホーだ fact10: 仮になにかは非会計科目であるとすると「マグナカルタである」ということは事実である ; $hypothesis$ = この前部境界は単純過ぎない ; $proof$ = 
fact9 -> int1: その兄いはセッションであるししかもヤッホーである; int1 -> int2: その兄いはヤッホーだ; int2 & fact2 -> int3: この法一般は非会計科目である; fact10 -> int4: もしもこの法一般が非会計科目ならそれはマグナカルタである; int3 & int4 -> int5: この法一般はマグナカルタだ; int5 & fact4 -> int6: この要は楽音だということはない; int6 & fact7 -> int7: 「この前部境界は下さらないけど文学少年である」ということは成り立たない; fact3 -> int8: 「この前部境界は下さらないけどそれは文学少年である」ということは間違っているとすればそれは単純過ぎる; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 全てのものは硬膜嚢である
事実2: もしその兄いがヤッホーであるとすればこの法一般は非会計科目だ
事実3: もし「なにがしかのものは下さらないけど文学少年だ」ということは間違っているとすると単純過ぎる
事実4: 仮にこの法一般がマグナカルタならばこの要は楽音でない
事実5: この法一般は手形決済日でそれは下さる
事実6: もし仮にあの人事評価システムが非会計科目であるとしたらこの要はセッションであるということはない
事実7: もし仮にこの要は楽音でないとしたら「「この前部境界は下さらないがしかし文学少年である」ということは誤りだ」ということは成り立つ
事実8: 「「その兄いはヤッホーであるしおまけにそれは文学少年である」ということは成り立つということはない」ということは真実である
事実9: 全ての物がセッションだししかもヤッホーだ
事実10: 仮になにかは非会計科目であるとすると「マグナカルタである」ということは事実である

仮説: この前部境界は単純過ぎない
1. 事実9から、推論1: "その兄いはセッションであるししかもヤッホーである"が導かれる
2. 推論1から、推論2: "その兄いはヤッホーだ"が導かれる
3. 推論2と事実2から、推論3: "この法一般は非会計科目である"が導かれる
4. 事実10から、推論4: "もしもこの法一般が非会計科目ならそれはマグナカルタである"が導かれる
5. 推論3と推論4から、推論5: "この法一般はマグナカルタだ"が導かれる
6. 推論5と事実4から、推論6: "この要は楽音だということはない"が導かれる
7. 推論6と事実7から、推論7: "「この前部境界は下さらないけど文学少年である」ということは成り立たない"が導かれる
8. 事実3から、推論8: "「この前部境界は下さらないけどそれは文学少年である」ということは間違っているとすればそれは単純過ぎる"が導かれる
9. 推論7と推論8から、仮説が否定される

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