あの電子構造は本条でない
fact1: あの電子構造は安いけど運び易いということはない fact2: 「その駆動トルクは近寄り難い」ということは確かである fact3: 仮にあの電子構造は結合様式だということはないとしたら「その駆動トルクは結合様式であるが隊列でない」ということは嘘だ fact4: 仮にあの労役が結合様式であるがしかし隊列でないとすればあの駆動トルクは漢方医でない fact5: 「この馬達は出会い易い一方で犬ころでない」ということは正しい fact6: なにがしかの物は漢方医でないならばそれは外し易くない fact7: 何かは結合様式でないならばそれは近寄り難くない fact8: なんらかの物は外し易くないとするとそれは本条であるということはない fact9: もし仮に「その駆動トルクは近寄り難い」ということは成り立つなら結合様式である fact10: 「あの電子構造は幣であるが清めない」ということは偽である fact11: 「もし仮に「何らかのものは漢方医だけれど結合様式でない」ということは偽であるならば外し易いということはない」ということは間違いでない fact12: もしも何らかの物が漢方医であるということはないとしたら本条であるかそれは結合様式だ fact13: 仮にその駆動トルクは本条だとしたら「あの電子構造は本条である」ということは成り立つ fact14: あの電子構造は漢方医である fact15: もしも「あの電子構造は結合様式でない」ということは真実であるとするとそれは近寄り難くない fact16: もし何かは近寄り難くないとすれば「それは外し易くないし隊列である」ということは事実と異なる fact17: この歩行率は本条だ fact18: もしその駆動トルクは近寄り難いならば「それは結合様式であるけれど隊列でない」ということは確かである fact19: もし仮に何かは隊列であるということはないならそれは漢方医であるということはない fact20: その卒業時は○○する一方でそれは外し易くない
void -> assump1: 以下のように仮定する。あの電子構造は漢方医だがしかし結合様式でない; assump1 -> int1: あの電子構造は結合様式でない; int1 & fact3 -> int2: 「その駆動トルクは結合様式だが隊列でない」ということは間違いだ; fact2 & fact18 -> int3: その駆動トルクは結合様式であるけれど隊列でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの電子構造は漢方医だが結合様式でない」ということは成り立たない; fact11 -> int6: 仮に「あの電子構造は漢方医であるけれどそれは結合様式でない」ということは嘘だとすると外し易くない; int5 & int6 -> int7: あの電子構造は外し易くない; fact8 -> int8: あの電子構造は外し易くないとするとそれは本条だということはない; int7 & int8 -> hypothesis;
「あの電子構造は外し易いけれど囁き掛けない」ということは成り立たない
$facts$ = fact1: あの電子構造は安いけど運び易いということはない fact2: 「その駆動トルクは近寄り難い」ということは確かである fact3: 仮にあの電子構造は結合様式だということはないとしたら「その駆動トルクは結合様式であるが隊列でない」ということは嘘だ fact4: 仮にあの労役が結合様式であるがしかし隊列でないとすればあの駆動トルクは漢方医でない fact5: 「この馬達は出会い易い一方で犬ころでない」ということは正しい fact6: なにがしかの物は漢方医でないならばそれは外し易くない fact7: 何かは結合様式でないならばそれは近寄り難くない fact8: なんらかの物は外し易くないとするとそれは本条であるということはない fact9: もし仮に「その駆動トルクは近寄り難い」ということは成り立つなら結合様式である fact10: 「あの電子構造は幣であるが清めない」ということは偽である fact11: 「もし仮に「何らかのものは漢方医だけれど結合様式でない」ということは偽であるならば外し易いということはない」ということは間違いでない fact12: もしも何らかの物が漢方医であるということはないとしたら本条であるかそれは結合様式だ fact13: 仮にその駆動トルクは本条だとしたら「あの電子構造は本条である」ということは成り立つ fact14: あの電子構造は漢方医である fact15: もしも「あの電子構造は結合様式でない」ということは真実であるとするとそれは近寄り難くない fact16: もし何かは近寄り難くないとすれば「それは外し易くないし隊列である」ということは事実と異なる fact17: この歩行率は本条だ fact18: もしその駆動トルクは近寄り難いならば「それは結合様式であるけれど隊列でない」ということは確かである fact19: もし仮に何かは隊列であるということはないならそれは漢方医であるということはない fact20: その卒業時は○○する一方でそれは外し易くない ; $hypothesis$ = あの電子構造は本条でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの電子構造は漢方医だがしかし結合様式でない; assump1 -> int1: あの電子構造は結合様式でない; int1 & fact3 -> int2: 「その駆動トルクは結合様式だが隊列でない」ということは間違いだ; fact2 & fact18 -> int3: その駆動トルクは結合様式であるけれど隊列でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの電子構造は漢方医だが結合様式でない」ということは成り立たない; fact11 -> int6: 仮に「あの電子構造は漢方医であるけれどそれは結合様式でない」ということは嘘だとすると外し易くない; int5 & int6 -> int7: あの電子構造は外し易くない; fact8 -> int8: あの電子構造は外し易くないとするとそれは本条だということはない; int7 & int8 -> hypothesis; __PROVED__
事実1: あの電子構造は安いけど運び易いということはない
事実2: 「その駆動トルクは近寄り難い」ということは確かである
事実3: 仮にあの電子構造は結合様式だということはないとしたら「その駆動トルクは結合様式であるが隊列でない」ということは嘘だ
事実4: 仮にあの労役が結合様式であるがしかし隊列でないとすればあの駆動トルクは漢方医でない
事実5: 「この馬達は出会い易い一方で犬ころでない」ということは正しい
事実6: なにがしかの物は漢方医でないならばそれは外し易くない
事実7: 何かは結合様式でないならばそれは近寄り難くない
事実8: なんらかの物は外し易くないとするとそれは本条であるということはない
事実9: もし仮に「その駆動トルクは近寄り難い」ということは成り立つなら結合様式である
事実10: 「あの電子構造は幣であるが清めない」ということは偽である
事実11: 「もし仮に「何らかのものは漢方医だけれど結合様式でない」ということは偽であるならば外し易いということはない」ということは間違いでない
事実12: もしも何らかの物が漢方医であるということはないとしたら本条であるかそれは結合様式だ
事実13: 仮にその駆動トルクは本条だとしたら「あの電子構造は本条である」ということは成り立つ
事実14: あの電子構造は漢方医である
事実15: もしも「あの電子構造は結合様式でない」ということは真実であるとするとそれは近寄り難くない
事実16: もし何かは近寄り難くないとすれば「それは外し易くないし隊列である」ということは事実と異なる
事実17: この歩行率は本条だ
事実18: もしその駆動トルクは近寄り難いならば「それは結合様式であるけれど隊列でない」ということは確かである
事実19: もし仮に何かは隊列であるということはないならそれは漢方医であるということはない
事実20: その卒業時は○○する一方でそれは外し易くない

仮説: あの電子構造は本条でない
1. 仮定1: 以下のように仮定する。あの電子構造は漢方医だがしかし結合様式でない
2. 仮定1から、推論1: "あの電子構造は結合様式でない"が導かれる
3. 推論1と事実3から、推論2: "「その駆動トルクは結合様式だが隊列でない」ということは間違いだ"が導かれる
4. 事実2と事実18から、推論3: "その駆動トルクは結合様式であるけれど隊列でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの電子構造は漢方医だが結合様式でない」ということは成り立たない"が導かれる
7. 事実11から、推論6: "仮に「あの電子構造は漢方医であるけれどそれは結合様式でない」ということは嘘だとすると外し易くない"が導かれる
8. 推論5と推論6から、推論7: "あの電子構造は外し易くない"が導かれる
9. 事実8から、推論8: "あの電子構造は外し易くないとするとそれは本条だということはない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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