その座標系Ｓは空挺隊員であるがしかしオーソドックスでない
fact1: その座標系Ｓは征服するがそれは硫酸イオンだということはない fact2: もしも「あるものは起案しないけれどそれは抱え直す」ということは成り立たないとするとそれは抱え直さない fact3: その座標系Ｓは呼ばわるけど古めかしくない fact4: この左横縁は輝かしいが空挺隊員でない fact5: その労働価値説は長いがしかしオーソドックスでない fact6: その座標系Ｓは空挺隊員だがオーソドックスでない fact7: もし仮に「あの角形鋼管は際どいか空挺隊員でないかあるいは両方だ」ということは成り立たないとしたらその縦型は空挺隊員であるということはない fact8: その座標系Ｓは乾煎りするけど出し惜しみしない fact9: 何らかのものが際どいとすれば抜き差しするがオーソドックスであるということはない fact10: もしあの施工実験は日本重化学工業なら「あの角形鋼管は際どいかまたは空挺隊員でない」ということは誤りだ fact11: その座標系Ｓは三区分するがしかし把握し易くない fact12: もし何かは抱え直すということはないとするとそれは呼び捨てるしかつ日本重化学工業だ fact13: その座標系Ｓは空挺隊員だ fact14: あの侍女達は姫尊である一方でオーソドックスでない fact15: その座標系Ｓは空挺隊員であるが蹴鞠でない fact16: この思春期は反駁するがしかしそれは空挺隊員でない
fact6 -> hypothesis;
fact6 -> hypothesis;
「その座標系Ｓは空挺隊員だけれどオーソドックスでない」ということは誤りである
fact18 -> int1: もしもあの施工実験が抱え直さないなら呼び捨てるししかも日本重化学工業だ; fact17 -> int2: 仮に「あの施工実験は起案しないがしかしそれは抱え直す」ということは偽だとすればそれは抱え直さない;
$facts$ = fact1: その座標系Ｓは征服するがそれは硫酸イオンだということはない fact2: もしも「あるものは起案しないけれどそれは抱え直す」ということは成り立たないとするとそれは抱え直さない fact3: その座標系Ｓは呼ばわるけど古めかしくない fact4: この左横縁は輝かしいが空挺隊員でない fact5: その労働価値説は長いがしかしオーソドックスでない fact6: その座標系Ｓは空挺隊員だがオーソドックスでない fact7: もし仮に「あの角形鋼管は際どいか空挺隊員でないかあるいは両方だ」ということは成り立たないとしたらその縦型は空挺隊員であるということはない fact8: その座標系Ｓは乾煎りするけど出し惜しみしない fact9: 何らかのものが際どいとすれば抜き差しするがオーソドックスであるということはない fact10: もしあの施工実験は日本重化学工業なら「あの角形鋼管は際どいかまたは空挺隊員でない」ということは誤りだ fact11: その座標系Ｓは三区分するがしかし把握し易くない fact12: もし何かは抱え直すということはないとするとそれは呼び捨てるしかつ日本重化学工業だ fact13: その座標系Ｓは空挺隊員だ fact14: あの侍女達は姫尊である一方でオーソドックスでない fact15: その座標系Ｓは空挺隊員であるが蹴鞠でない fact16: この思春期は反駁するがしかしそれは空挺隊員でない ; $hypothesis$ = その座標系Ｓは空挺隊員であるがしかしオーソドックスでない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: その座標系Ｓは征服するがそれは硫酸イオンだということはない
事実2: もしも「あるものは起案しないけれどそれは抱え直す」ということは成り立たないとするとそれは抱え直さない
事実3: その座標系Ｓは呼ばわるけど古めかしくない
事実4: この左横縁は輝かしいが空挺隊員でない
事実5: その労働価値説は長いがしかしオーソドックスでない
事実6: その座標系Ｓは空挺隊員だがオーソドックスでない
事実7: もし仮に「あの角形鋼管は際どいか空挺隊員でないかあるいは両方だ」ということは成り立たないとしたらその縦型は空挺隊員であるということはない
事実8: その座標系Ｓは乾煎りするけど出し惜しみしない
事実9: 何らかのものが際どいとすれば抜き差しするがオーソドックスであるということはない
事実10: もしあの施工実験は日本重化学工業なら「あの角形鋼管は際どいかまたは空挺隊員でない」ということは誤りだ
事実11: その座標系Ｓは三区分するがしかし把握し易くない
事実12: もし何かは抱え直すということはないとするとそれは呼び捨てるしかつ日本重化学工業だ
事実13: その座標系Ｓは空挺隊員だ
事実14: あの侍女達は姫尊である一方でオーソドックスでない
事実15: その座標系Ｓは空挺隊員であるが蹴鞠でない
事実16: この思春期は反駁するがしかしそれは空挺隊員でない

仮説: その座標系Ｓは空挺隊員であるがしかしオーソドックスでない
1. 事実6から、仮説が導かれる

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