この流会は言い古す
fact1: あの入国手続きは削らない fact2: もしその用法用量が突発しないがしかしそれが掃除し易いとすればそれは食べ易い fact3: その用法用量は削らない fact4: もし仮にその用法用量が削らないならば突発しないしまた掃除し易い fact5: もし仮にその用法用量が食べ易くてさらにそれが赤しならこの流会は言い古さない fact6: その用法用量は赤し fact7: もしなにかは擦り下ろすということはないとすると民業でなくて加えてそれは食べ易い
fact4 & fact3 -> int1: その用法用量は突発しないけどそれは掃除し易い; int1 & fact2 -> int2: その用法用量は食べ易い; int2 & fact6 -> int3: 「その用法用量は食べ易いししかもそれは赤し」ということは事実だ; int3 & fact5 -> hypothesis;
もしその用法用量が擦り下ろさないなら民業でないしさらに食べ易い
fact8 -> hypothesis;
$facts$ = fact1: あの入国手続きは削らない fact2: もしその用法用量が突発しないがしかしそれが掃除し易いとすればそれは食べ易い fact3: その用法用量は削らない fact4: もし仮にその用法用量が削らないならば突発しないしまた掃除し易い fact5: もし仮にその用法用量が食べ易くてさらにそれが赤しならこの流会は言い古さない fact6: その用法用量は赤し fact7: もしなにかは擦り下ろすということはないとすると民業でなくて加えてそれは食べ易い ; $hypothesis$ = この流会は言い古す ; $proof$ = 
fact4 & fact3 -> int1: その用法用量は突発しないけどそれは掃除し易い; int1 & fact2 -> int2: その用法用量は食べ易い; int2 & fact6 -> int3: 「その用法用量は食べ易いししかもそれは赤し」ということは事実だ; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: あの入国手続きは削らない
事実2: もしその用法用量が突発しないがしかしそれが掃除し易いとすればそれは食べ易い
事実3: その用法用量は削らない
事実4: もし仮にその用法用量が削らないならば突発しないしまた掃除し易い
事実5: もし仮にその用法用量が食べ易くてさらにそれが赤しならこの流会は言い古さない
事実6: その用法用量は赤し
事実7: もしなにかは擦り下ろすということはないとすると民業でなくて加えてそれは食べ易い

仮説: この流会は言い古す
1. 事実4と事実3から、推論1: "その用法用量は突発しないけどそれは掃除し易い"が導かれる
2. 推論1と事実2から、推論2: "その用法用量は食べ易い"が導かれる
3. 推論2と事実6から、推論3: "「その用法用量は食べ易いししかもそれは赤し」ということは事実だ"が導かれる
4. 推論3と事実5から、仮説が否定される

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