「その触れ込みは節制するしまた持ち難い」ということは嘘だ
fact1: あの急性中毒症状は虎視眈眈であるがしかし趣意書でない fact2: 「趣意書でない」物はある fact3: なにがしかの物は虎視眈眈であるしその上趣意書だ fact4: あの大理石は探し続けない fact5: もし仮にあの大理石が探し続けないとするとその触れ込みは万法だ fact6: もしその触れ込みは万法であるとすれば節制する fact7: なにかは虎視眈眈だ fact8: この剰余項は探し続けない fact9: もしも何らかの物が虎視眈眈であるけど趣意書でないとすればその触れ込みは持ち難い
fact5 & fact4 -> int1: その触れ込みは万法である; int1 & fact6 -> int2: その触れ込みは節制する; fact1 -> int3: 「虎視眈眈だ一方で趣意書でない」物はある; fact9 & int3 -> int4: その触れ込みは持ち難い; int2 & int4 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; fact1 -> int3: (Ex): ({F}x & ¬{E}x); fact9 & int3 -> int4: {D}{b}; int2 & int4 -> hypothesis;
$facts$ = fact1: あの急性中毒症状は虎視眈眈であるがしかし趣意書でない fact2: 「趣意書でない」物はある fact3: なにがしかの物は虎視眈眈であるしその上趣意書だ fact4: あの大理石は探し続けない fact5: もし仮にあの大理石が探し続けないとするとその触れ込みは万法だ fact6: もしその触れ込みは万法であるとすれば節制する fact7: なにかは虎視眈眈だ fact8: この剰余項は探し続けない fact9: もしも何らかの物が虎視眈眈であるけど趣意書でないとすればその触れ込みは持ち難い ; $hypothesis$ = 「その触れ込みは節制するしまた持ち難い」ということは嘘だ ; $proof$ = 
fact5 & fact4 -> int1: その触れ込みは万法である; int1 & fact6 -> int2: その触れ込みは節制する; fact1 -> int3: 「虎視眈眈だ一方で趣意書でない」物はある; fact9 & int3 -> int4: その触れ込みは持ち難い; int2 & int4 -> hypothesis; __DISPROVED__
事実1: あの急性中毒症状は虎視眈眈であるがしかし趣意書でない
事実2: 「趣意書でない」物はある
事実3: なにがしかの物は虎視眈眈であるしその上趣意書だ
事実4: あの大理石は探し続けない
事実5: もし仮にあの大理石が探し続けないとするとその触れ込みは万法だ
事実6: もしその触れ込みは万法であるとすれば節制する
事実7: なにかは虎視眈眈だ
事実8: この剰余項は探し続けない
事実9: もしも何らかの物が虎視眈眈であるけど趣意書でないとすればその触れ込みは持ち難い

仮説: 「その触れ込みは節制するしまた持ち難い」ということは嘘だ
1. 事実5と事実4から、推論1: "その触れ込みは万法である"が導かれる
2. 推論1と事実6から、推論2: "その触れ込みは節制する"が導かれる
3. 事実1から、推論3: "「虎視眈眈だ一方で趣意書でない」物はある"が導かれる
4. 事実9と推論3から、推論4: "その触れ込みは持ち難い"が導かれる
5. 推論2と推論4から、仮説が否定される

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