もしあのダルワザが口煩いならあのストロボは相手取る
fact1: もしこの邦画が埃っぽいならそれは移行し易い fact2: もし「日参するし口煩い」物があるとするとこの邦画は埃っぽい fact3: あのダルワザは日参する fact4: 何らかのものが析出でないしさらに看取しないならあのストロボは相手取る fact5: あのグルタミン酸受容体は日参する fact6: この邦画が移行し易いならばそれは析出でなくてそれに看取しない
void -> assump1: 以下のように仮定する。あのダルワザは口煩い; fact3 & assump1 -> int1: あのダルワザは日参するしかつ口煩い; int1 -> int2: 何らかのものは日参するし口煩い; int2 & fact2 -> int3: この邦画は埃っぽい; int3 & fact1 -> int4: 「この邦画は移行し易い」ということは成り立つ; int4 & fact6 -> int5: この邦画は析出でないしそれは看取するということはない; int5 -> int6: 「析出でないしさらに看取しない」ものはある; int6 & fact4 -> int7: あのストロボは相手取る; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしこの邦画が埃っぽいならそれは移行し易い fact2: もし「日参するし口煩い」物があるとするとこの邦画は埃っぽい fact3: あのダルワザは日参する fact4: 何らかのものが析出でないしさらに看取しないならあのストロボは相手取る fact5: あのグルタミン酸受容体は日参する fact6: この邦画が移行し易いならばそれは析出でなくてそれに看取しない ; $hypothesis$ = もしあのダルワザが口煩いならあのストロボは相手取る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのダルワザは口煩い; fact3 & assump1 -> int1: あのダルワザは日参するしかつ口煩い; int1 -> int2: 何らかのものは日参するし口煩い; int2 & fact2 -> int3: この邦画は埃っぽい; int3 & fact1 -> int4: 「この邦画は移行し易い」ということは成り立つ; int4 & fact6 -> int5: この邦画は析出でないしそれは看取するということはない; int5 -> int6: 「析出でないしさらに看取しない」ものはある; int6 & fact4 -> int7: あのストロボは相手取る; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしこの邦画が埃っぽいならそれは移行し易い
事実2: もし「日参するし口煩い」物があるとするとこの邦画は埃っぽい
事実3: あのダルワザは日参する
事実4: 何らかのものが析出でないしさらに看取しないならあのストロボは相手取る
事実5: あのグルタミン酸受容体は日参する
事実6: この邦画が移行し易いならばそれは析出でなくてそれに看取しない

仮説: もしあのダルワザが口煩いならあのストロボは相手取る
1. 仮定1: 以下のように仮定する。あのダルワザは口煩い
2. 事実3と仮定1から、推論1: "あのダルワザは日参するしかつ口煩い"が導かれる
3. 推論1から、推論2: "何らかのものは日参するし口煩い"が導かれる
4. 推論2と事実2から、推論3: "この邦画は埃っぽい"が導かれる
5. 推論3と事実1から、推論4: "「この邦画は移行し易い」ということは成り立つ"が導かれる
6. 推論4と事実6から、推論5: "この邦画は析出でないしそれは看取するということはない"が導かれる
7. 推論5から、推論6: "「析出でないしさらに看取しない」ものはある"が導かれる
8. 推論6と事実4から、推論7: "あのストロボは相手取る"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。