その約束手形文句は講演者であるということはないし起こり難くない
fact1: もし「忘るないしおまけに足留めしない」ものがあるとするとこの製造計画サブシステムは示し易くない fact2: 「忘るない」物はある fact3: その約束手形文句が講演者でないし起こり難くないならこの妙法寺はつべたい fact4: 「忘るないしそれに足留めしない」ものはある fact5: もしもこの妙法寺がつべたいならこの製造計画サブシステムは示し易い fact6: 「その約束手形文句は講演者であるけど起こり難くない」ということは成り立たない fact7: 「その約束手形文句は講演者でないがしかし起こり難い」ということは成り立たない
void -> assump1: 以下のように仮定する。その約束手形文句は講演者でないし加えて起こり難くない; fact3 & assump1 -> int1: この妙法寺はつべたい; int1 & fact5 -> int2: この製造計画サブシステムは示し易い; fact4 & fact1 -> int3: この製造計画サブシステムは示し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その約束手形文句は講演者でないしおまけに起こり難くない
$facts$ = fact1: もし「忘るないしおまけに足留めしない」ものがあるとするとこの製造計画サブシステムは示し易くない fact2: 「忘るない」物はある fact3: その約束手形文句が講演者でないし起こり難くないならこの妙法寺はつべたい fact4: 「忘るないしそれに足留めしない」ものはある fact5: もしもこの妙法寺がつべたいならこの製造計画サブシステムは示し易い fact6: 「その約束手形文句は講演者であるけど起こり難くない」ということは成り立たない fact7: 「その約束手形文句は講演者でないがしかし起こり難い」ということは成り立たない ; $hypothesis$ = その約束手形文句は講演者であるということはないし起こり難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その約束手形文句は講演者でないし加えて起こり難くない; fact3 & assump1 -> int1: この妙法寺はつべたい; int1 & fact5 -> int2: この製造計画サブシステムは示し易い; fact4 & fact1 -> int3: この製造計画サブシステムは示し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし「忘るないしおまけに足留めしない」ものがあるとするとこの製造計画サブシステムは示し易くない
事実2: 「忘るない」物はある
事実3: その約束手形文句が講演者でないし起こり難くないならこの妙法寺はつべたい
事実4: 「忘るないしそれに足留めしない」ものはある
事実5: もしもこの妙法寺がつべたいならこの製造計画サブシステムは示し易い
事実6: 「その約束手形文句は講演者であるけど起こり難くない」ということは成り立たない
事実7: 「その約束手形文句は講演者でないがしかし起こり難い」ということは成り立たない

仮説: その約束手形文句は講演者であるということはないし起こり難くない
1. 仮定1: 以下のように仮定する。その約束手形文句は講演者でないし加えて起こり難くない
2. 事実3と仮定1から、推論1: "この妙法寺はつべたい"が導かれる
3. 推論1と事実5から、推論2: "この製造計画サブシステムは示し易い"が導かれる
4. 事実4と事実1から、推論3: "この製造計画サブシステムは示し易くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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