「その上下肢は息む一方でそれは深炒り豆でない」ということは成り立たない
fact1: その上下肢は低い fact2: グストは操作し易いがしかし書き出しオプションだということはない fact3: もしもその上下肢はグストでないとするとそれは息む一方で深炒り豆でない fact4: その上下肢は低いとしたら「操作し易いけど書き出しオプションであるということはない」ということは真実でない fact5: 「「「グストでなくて息まない」ということは正しい」ということは嘘である」物があるならばあの米国政府は顕在化し易い fact6: その上下肢は書き出しオプションだということはない
fact2 -> int1: その上下肢がグストであるならば操作し易いし更に書き出しオプションだということはない; void -> assump1: 以下のように仮定する。その上下肢はグストだ; int1 & assump1 -> int2: その上下肢は操作し易いけれど書き出しオプションであるということはない; fact4 & fact1 -> int3: 「その上下肢は操作し易いけれど書き出しオプションでない」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その上下肢はグストでない; int5 & fact3 -> hypothesis;
「その意志疎通は低いけれど顕在化し易くない」ということは嘘だ
$facts$ = fact1: その上下肢は低い fact2: グストは操作し易いがしかし書き出しオプションだということはない fact3: もしもその上下肢はグストでないとするとそれは息む一方で深炒り豆でない fact4: その上下肢は低いとしたら「操作し易いけど書き出しオプションであるということはない」ということは真実でない fact5: 「「「グストでなくて息まない」ということは正しい」ということは嘘である」物があるならばあの米国政府は顕在化し易い fact6: その上下肢は書き出しオプションだということはない ; $hypothesis$ = 「その上下肢は息む一方でそれは深炒り豆でない」ということは成り立たない ; $proof$ = 
fact2 -> int1: その上下肢がグストであるならば操作し易いし更に書き出しオプションだということはない; void -> assump1: 以下のように仮定する。その上下肢はグストだ; int1 & assump1 -> int2: その上下肢は操作し易いけれど書き出しオプションであるということはない; fact4 & fact1 -> int3: 「その上下肢は操作し易いけれど書き出しオプションでない」ということは成り立たない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その上下肢はグストでない; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: その上下肢は低い
事実2: グストは操作し易いがしかし書き出しオプションだということはない
事実3: もしもその上下肢はグストでないとするとそれは息む一方で深炒り豆でない
事実4: その上下肢は低いとしたら「操作し易いけど書き出しオプションであるということはない」ということは真実でない
事実5: 「「「グストでなくて息まない」ということは正しい」ということは嘘である」物があるならばあの米国政府は顕在化し易い
事実6: その上下肢は書き出しオプションだということはない

仮説: 「その上下肢は息む一方でそれは深炒り豆でない」ということは成り立たない
1. 事実2から、推論1: "その上下肢がグストであるならば操作し易いし更に書き出しオプションだということはない"が導かれる
2. 仮定1: 以下のように仮定する。その上下肢はグストだ
3. 推論1と仮定1から、推論2: "その上下肢は操作し易いけれど書き出しオプションであるということはない"が導かれる
4. 事実4と事実1から、推論3: "「その上下肢は操作し易いけれど書き出しオプションでない」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その上下肢はグストでない"が導かれる
7. 推論5と事実3から、仮説が否定される

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