この生理活性物質は主張す
fact1: あの導べは痺れるし加えてアミラーゼだ fact2: もしなんらかの物が主張すなら痺れる fact3: この生理活性物質は主張すなら「あの導べは仲睦まじくないがしかし心無い」ということは事実と異なる fact4: 「折檻しない」物はある fact5: 仮に「あの導べは仲睦まじいということはないけれど心無い」ということは事実と異なるとすれば痺れない fact6: 「この高断熱・高気密はアミラーゼだ」ということは成り立つとしたら「あの導べは主張すらないしそれは痺れない」ということは成り立たない
void -> assump1: 以下のように仮定する。この生理活性物質は主張す; fact3 & assump1 -> int1: 「あの導べは仲睦まじくないが心無い」ということは偽だ; int1 & fact5 -> int2: あの導べは痺れない; fact1 -> int3: あの導べは痺れる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その思想家達は痺れる
fact7 -> int5: もしもその思想家達は主張すれば「痺れる」ということは真実である;
$facts$ = fact1: あの導べは痺れるし加えてアミラーゼだ fact2: もしなんらかの物が主張すなら痺れる fact3: この生理活性物質は主張すなら「あの導べは仲睦まじくないがしかし心無い」ということは事実と異なる fact4: 「折檻しない」物はある fact5: 仮に「あの導べは仲睦まじいということはないけれど心無い」ということは事実と異なるとすれば痺れない fact6: 「この高断熱・高気密はアミラーゼだ」ということは成り立つとしたら「あの導べは主張すらないしそれは痺れない」ということは成り立たない ; $hypothesis$ = この生理活性物質は主張す ; $proof$ = 
void -> assump1: 以下のように仮定する。この生理活性物質は主張す; fact3 & assump1 -> int1: 「あの導べは仲睦まじくないが心無い」ということは偽だ; int1 & fact5 -> int2: あの導べは痺れない; fact1 -> int3: あの導べは痺れる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの導べは痺れるし加えてアミラーゼだ
事実2: もしなんらかの物が主張すなら痺れる
事実3: この生理活性物質は主張すなら「あの導べは仲睦まじくないがしかし心無い」ということは事実と異なる
事実4: 「折檻しない」物はある
事実5: 仮に「あの導べは仲睦まじいということはないけれど心無い」ということは事実と異なるとすれば痺れない
事実6: 「この高断熱・高気密はアミラーゼだ」ということは成り立つとしたら「あの導べは主張すらないしそれは痺れない」ということは成り立たない

仮説: この生理活性物質は主張す
1. 仮定1: 以下のように仮定する。この生理活性物質は主張す
2. 事実3と仮定1から、推論1: "「あの導べは仲睦まじくないが心無い」ということは偽だ"が導かれる
3. 推論1と事実5から、推論2: "あの導べは痺れない"が導かれる
4. 事実1から、推論3: "あの導べは痺れる"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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