「もしもこの肉親が病床数だとしたらこのファールは定位するが焦れったいということはない」ということは成り立たない
fact1: もしもこの肉親が棄却するということはないとすればあのファールは定位するが焦れったくない fact2: このファールは棄却する fact3: 仮に「享年でない」物はあるなら「この肉親は正し」ということは真実である fact4: その適応機制が馴染み難いということはないけど定位するとするとこのファールは定位しない fact5: このファールが正ししおまけに病床数だとすると定位しない fact6: 仮に「「この肉親は棄却しない一方で焦れったい」ということは成り立つ」ということは成り立たないならば「そのプロパティは棄却する」ということは成り立つ fact7: もしそのプロパティが棄却すれば享年である fact8: その適応機制は馴染み難くないけど定位する fact9: もし仮にあるものは享年であるなら起き難い fact10: 仮に正し物が棄却すればそれは病床数でない fact11: 何らかの物は享年でない fact12: このファールは焦れったくない fact13: 仮にこのファールは定位しないとしたら「この肉親は棄却しないがしかし焦れったい」ということは成り立たない
fact11 & fact3 -> int1: この肉親は正し; void -> assump1: 以下のように仮定する。この肉親は棄却する; int1 & assump1 -> int2: 「この肉親は正しししかもそれは棄却する」ということは成り立つ; fact10 -> int3: もしこの肉親は正ししさらに棄却するとしたら病床数でない; int2 & int3 -> int4: この肉親は病床数であるということはない; void -> assump2: 以下のように仮定する。この肉親は病床数である; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この肉親は棄却しない; int6 & fact1 -> int7: このファールは定位するがそれは焦れったいということはない; [assump2] & int7 -> hypothesis;
そのプロパティは起き難いが病床数でない
fact16 -> int8: 仮にそのプロパティは享年であるとすると「起き難い」ということは正しい; fact17 & fact15 -> int9: このファールは定位しない; fact14 & int9 -> int10: 「この肉親は棄却しないけど焦れったい」ということは嘘である; fact19 & int10 -> int11: そのプロパティは棄却する; fact18 & int11 -> int12: そのプロパティは享年である; int8 & int12 -> int13: そのプロパティは起き難い;
$facts$ = fact1: もしもこの肉親が棄却するということはないとすればあのファールは定位するが焦れったくない fact2: このファールは棄却する fact3: 仮に「享年でない」物はあるなら「この肉親は正し」ということは真実である fact4: その適応機制が馴染み難いということはないけど定位するとするとこのファールは定位しない fact5: このファールが正ししおまけに病床数だとすると定位しない fact6: 仮に「「この肉親は棄却しない一方で焦れったい」ということは成り立つ」ということは成り立たないならば「そのプロパティは棄却する」ということは成り立つ fact7: もしそのプロパティが棄却すれば享年である fact8: その適応機制は馴染み難くないけど定位する fact9: もし仮にあるものは享年であるなら起き難い fact10: 仮に正し物が棄却すればそれは病床数でない fact11: 何らかの物は享年でない fact12: このファールは焦れったくない fact13: 仮にこのファールは定位しないとしたら「この肉親は棄却しないがしかし焦れったい」ということは成り立たない ; $hypothesis$ = 「もしもこの肉親が病床数だとしたらこのファールは定位するが焦れったいということはない」ということは成り立たない ; $proof$ = 
fact11 & fact3 -> int1: この肉親は正し; void -> assump1: 以下のように仮定する。この肉親は棄却する; int1 & assump1 -> int2: 「この肉親は正しししかもそれは棄却する」ということは成り立つ; fact10 -> int3: もしこの肉親は正ししさらに棄却するとしたら病床数でない; int2 & int3 -> int4: この肉親は病床数であるということはない; void -> assump2: 以下のように仮定する。この肉親は病床数である; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この肉親は棄却しない; int6 & fact1 -> int7: このファールは定位するがそれは焦れったいということはない; [assump2] & int7 -> hypothesis; __DISPROVED__
事実1: もしもこの肉親が棄却するということはないとすればあのファールは定位するが焦れったくない
事実2: このファールは棄却する
事実3: 仮に「享年でない」物はあるなら「この肉親は正し」ということは真実である
事実4: その適応機制が馴染み難いということはないけど定位するとするとこのファールは定位しない
事実5: このファールが正ししおまけに病床数だとすると定位しない
事実6: 仮に「「この肉親は棄却しない一方で焦れったい」ということは成り立つ」ということは成り立たないならば「そのプロパティは棄却する」ということは成り立つ
事実7: もしそのプロパティが棄却すれば享年である
事実8: その適応機制は馴染み難くないけど定位する
事実9: もし仮にあるものは享年であるなら起き難い
事実10: 仮に正し物が棄却すればそれは病床数でない
事実11: 何らかの物は享年でない
事実12: このファールは焦れったくない
事実13: 仮にこのファールは定位しないとしたら「この肉親は棄却しないがしかし焦れったい」ということは成り立たない

仮説: 「もしもこの肉親が病床数だとしたらこのファールは定位するが焦れったいということはない」ということは成り立たない
1. 事実11と事実3から、推論1: "この肉親は正し"が導かれる
2. 仮定1: 以下のように仮定する。この肉親は棄却する
3. 推論1と仮定1から、推論2: "「この肉親は正しししかもそれは棄却する」ということは成り立つ"が導かれる
4. 事実10から、推論3: "もしこの肉親は正ししさらに棄却するとしたら病床数でない"が導かれる
5. 推論2と推論3から、推論4: "この肉親は病床数であるということはない"が導かれる
6. 仮定2: 以下のように仮定する。この肉親は病床数である
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "この肉親は棄却しない"が導かれる
9. 推論6と事実1から、推論7: "このファールは定位するがそれは焦れったいということはない"が導かれる
10. [仮定2]と推論7から、仮説が否定される

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