この分節化は気怠くらないしそれは聖遺物器でない
fact1: あの本望はレＩオンである fact2: 仮に「あの本望は言い難くないがレＩオンである」ということは間違いであるならばこの分節化はレＩオンでない fact3: この分節化は聖遺物器でない fact4: もし何らかのものがレＩオンでないとすれば気怠くらないしさらにいがらっぽいということはない fact5: 「あの本望はレＩオンで気怠い」ということは成り立つ fact6: 何らかのものはレＩオンだということはないとすると「気怠くらなくてかつ聖遺物器でない」ということは間違いだ fact7: もし仮にこの分節化が聖遺物器であるとしたらあの本望は聖遺物器でなくてしかもレＩオンでない fact8: この循環性はレＩオンでなくて有しない fact9: あの本望が気怠いならばこの分節化は気怠くらないしかつそれは聖遺物器であるということはない fact10: もしあの本望が気怠いとしたらこの分節化は聖遺物器でない
fact5 -> int1: あの本望は気怠い; int1 & fact9 -> hypothesis;
「この分節化は気怠いということはないし加えて聖遺物器でない」ということは嘘である
fact12 -> int2: 仮にこの分節化はレＩオンでないとしたら「気怠くらないしおまけに聖遺物器だということはない」ということは誤っている;
$facts$ = fact1: あの本望はレＩオンである fact2: 仮に「あの本望は言い難くないがレＩオンである」ということは間違いであるならばこの分節化はレＩオンでない fact3: この分節化は聖遺物器でない fact4: もし何らかのものがレＩオンでないとすれば気怠くらないしさらにいがらっぽいということはない fact5: 「あの本望はレＩオンで気怠い」ということは成り立つ fact6: 何らかのものはレＩオンだということはないとすると「気怠くらなくてかつ聖遺物器でない」ということは間違いだ fact7: もし仮にこの分節化が聖遺物器であるとしたらあの本望は聖遺物器でなくてしかもレＩオンでない fact8: この循環性はレＩオンでなくて有しない fact9: あの本望が気怠いならばこの分節化は気怠くらないしかつそれは聖遺物器であるということはない fact10: もしあの本望が気怠いとしたらこの分節化は聖遺物器でない ; $hypothesis$ = この分節化は気怠くらないしそれは聖遺物器でない ; $proof$ = 
fact5 -> int1: あの本望は気怠い; int1 & fact9 -> hypothesis; __PROVED__
事実1: あの本望はレＩオンである
事実2: 仮に「あの本望は言い難くないがレＩオンである」ということは間違いであるならばこの分節化はレＩオンでない
事実3: この分節化は聖遺物器でない
事実4: もし何らかのものがレＩオンでないとすれば気怠くらないしさらにいがらっぽいということはない
事実5: 「あの本望はレＩオンで気怠い」ということは成り立つ
事実6: 何らかのものはレＩオンだということはないとすると「気怠くらなくてかつ聖遺物器でない」ということは間違いだ
事実7: もし仮にこの分節化が聖遺物器であるとしたらあの本望は聖遺物器でなくてしかもレＩオンでない
事実8: この循環性はレＩオンでなくて有しない
事実9: あの本望が気怠いならばこの分節化は気怠くらないしかつそれは聖遺物器であるということはない
事実10: もしあの本望が気怠いとしたらこの分節化は聖遺物器でない

仮説: この分節化は気怠くらないしそれは聖遺物器でない
1. 事実5から、推論1: "あの本望は気怠い"が導かれる
2. 推論1と事実9から、仮説が導かれる

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