「もし仮にあの御安心が情景だとすればその他方はがっつくけどそれは可視化観察しない」ということは間違いだ
fact1: もしその他方が可視化観察するならこの受け止め方はがっつくけれど可視化観察しない fact2: もし仮にあの御安心が情景だとすればこの受け止め方は可視化観察する fact3: 仮にその他方が情景だとしたらあの御安心が可視化観察するしその上それはがっつく fact4: 仮にこの受け止め方が可視化観察すればその他方は可視化観察するということはない fact5: 仮にその他方が情景だとするとあの御安心はがっつくしそれに可視化観察する fact6: あの御安心は可視化観察するし更に情景だ fact7: もしこの受け止め方が可視化観察するとすればその他方はがっつく一方で可視化観察しない fact8: 仮にこの受け止め方ががっつくとしたらあの御安心は情景であるしそれにそれは可視化観察する fact9: もし仮にこの受け止め方が可視化観察するとしたらあの御安心は情景でその上がっつく fact10: その他方が可視化観察するとしたらこの受け止め方はがっつく fact11: この受け止め方が情景ならその他方はがっつくししかもそれは可視化観察する fact12: あの御安心は眠たい fact13: この受け止め方は遷都する fact14: その他方は可視化観察しない fact15: もし仮にその他方が可視化観察するとすればあの御安心は情景だがしかし可視化観察しない fact16: もしもその他方ががっつけばあの御安心は可視化観察するしそれに情景である fact17: もしその他方が可視化観察するとすればあの御安心は情景であるしおまけにがっつく fact18: あの御安心が可視化観察するとすればその他方は情景だ一方でそれは可視化観察しない
void -> assump1: 以下のように仮定する。あの御安心は情景である; fact2 & assump1 -> int1: この受け止め方は可視化観察する; int1 & fact7 -> int2: その他方はがっつくけど可視化観察しない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: ({D}{c} & ¬{B}{c}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしその他方が可視化観察するならこの受け止め方はがっつくけれど可視化観察しない fact2: もし仮にあの御安心が情景だとすればこの受け止め方は可視化観察する fact3: 仮にその他方が情景だとしたらあの御安心が可視化観察するしその上それはがっつく fact4: 仮にこの受け止め方が可視化観察すればその他方は可視化観察するということはない fact5: 仮にその他方が情景だとするとあの御安心はがっつくしそれに可視化観察する fact6: あの御安心は可視化観察するし更に情景だ fact7: もしこの受け止め方が可視化観察するとすればその他方はがっつく一方で可視化観察しない fact8: 仮にこの受け止め方ががっつくとしたらあの御安心は情景であるしそれにそれは可視化観察する fact9: もし仮にこの受け止め方が可視化観察するとしたらあの御安心は情景でその上がっつく fact10: その他方が可視化観察するとしたらこの受け止め方はがっつく fact11: この受け止め方が情景ならその他方はがっつくししかもそれは可視化観察する fact12: あの御安心は眠たい fact13: この受け止め方は遷都する fact14: その他方は可視化観察しない fact15: もし仮にその他方が可視化観察するとすればあの御安心は情景だがしかし可視化観察しない fact16: もしもその他方ががっつけばあの御安心は可視化観察するしそれに情景である fact17: もしその他方が可視化観察するとすればあの御安心は情景であるしおまけにがっつく fact18: あの御安心が可視化観察するとすればその他方は情景だ一方でそれは可視化観察しない ; $hypothesis$ = 「もし仮にあの御安心が情景だとすればその他方はがっつくけどそれは可視化観察しない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御安心は情景である; fact2 & assump1 -> int1: この受け止め方は可視化観察する; int1 & fact7 -> int2: その他方はがっつくけど可視化観察しない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしその他方が可視化観察するならこの受け止め方はがっつくけれど可視化観察しない
事実2: もし仮にあの御安心が情景だとすればこの受け止め方は可視化観察する
事実3: 仮にその他方が情景だとしたらあの御安心が可視化観察するしその上それはがっつく
事実4: 仮にこの受け止め方が可視化観察すればその他方は可視化観察するということはない
事実5: 仮にその他方が情景だとするとあの御安心はがっつくしそれに可視化観察する
事実6: あの御安心は可視化観察するし更に情景だ
事実7: もしこの受け止め方が可視化観察するとすればその他方はがっつく一方で可視化観察しない
事実8: 仮にこの受け止め方ががっつくとしたらあの御安心は情景であるしそれにそれは可視化観察する
事実9: もし仮にこの受け止め方が可視化観察するとしたらあの御安心は情景でその上がっつく
事実10: その他方が可視化観察するとしたらこの受け止め方はがっつく
事実11: この受け止め方が情景ならその他方はがっつくししかもそれは可視化観察する
事実12: あの御安心は眠たい
事実13: この受け止め方は遷都する
事実14: その他方は可視化観察しない
事実15: もし仮にその他方が可視化観察するとすればあの御安心は情景だがしかし可視化観察しない
事実16: もしもその他方ががっつけばあの御安心は可視化観察するしそれに情景である
事実17: もしその他方が可視化観察するとすればあの御安心は情景であるしおまけにがっつく
事実18: あの御安心が可視化観察するとすればその他方は情景だ一方でそれは可視化観察しない

仮説: 「もし仮にあの御安心が情景だとすればその他方はがっつくけどそれは可視化観察しない」ということは間違いだ
1. 仮定1: 以下のように仮定する。あの御安心は情景である
2. 事実2と仮定1から、推論1: "この受け止め方は可視化観察する"が導かれる
3. 推論1と事実7から、推論2: "その他方はがっつくけど可視化観察しない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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