「その変風帯は高し」ということは正しい
fact1: このカテーテルは高し fact2: 全ては悪い fact3: その変風帯は乗り易い fact4: もし仮に何かは悪いとすれば「平ったいしそれは負けず嫌いでない」ということは嘘である fact5: 仮に「あのＣＤ‐Ｒメディアは可愛らしいということはないしそれは手続きしない」ということは成り立たないなら「その変風帯は愛しということはない」ということは真実である fact6: 「その変風帯は高ししさらにそれは乗り易い」ということは真実だ fact7: その変風帯が野鼠だしそれは陰気臭い fact8: 高しない物は操作し易くてそれに乗り易い fact9: あの内視鏡手術は負けず嫌いでないとすれば「あのＣＤ‐Ｒメディアは可愛らしくないししかも手続きしない」ということは成り立たない fact10: 仮に「このビリヤード台は平ったい一方で負けず嫌いでない」ということは間違いであるとするとあの内視鏡手術は負けず嫌いでない fact11: 仮にとある物は衰微しないとすれば「それは踏み込めるということはないしかつ乗り易くない」ということは成り立たない fact12: この全面戦争は乗り易いし更に聞き終わる
fact6 -> hypothesis;
あの愛別離苦は操作し易いしかつ乗り易い
fact13 -> int1: もし仮にあの愛別離苦が高しないとするとそれは操作し易くてそれは乗り易い;
$facts$ = fact1: このカテーテルは高し fact2: 全ては悪い fact3: その変風帯は乗り易い fact4: もし仮に何かは悪いとすれば「平ったいしそれは負けず嫌いでない」ということは嘘である fact5: 仮に「あのＣＤ‐Ｒメディアは可愛らしいということはないしそれは手続きしない」ということは成り立たないなら「その変風帯は愛しということはない」ということは真実である fact6: 「その変風帯は高ししさらにそれは乗り易い」ということは真実だ fact7: その変風帯が野鼠だしそれは陰気臭い fact8: 高しない物は操作し易くてそれに乗り易い fact9: あの内視鏡手術は負けず嫌いでないとすれば「あのＣＤ‐Ｒメディアは可愛らしくないししかも手続きしない」ということは成り立たない fact10: 仮に「このビリヤード台は平ったい一方で負けず嫌いでない」ということは間違いであるとするとあの内視鏡手術は負けず嫌いでない fact11: 仮にとある物は衰微しないとすれば「それは踏み込めるということはないしかつ乗り易くない」ということは成り立たない fact12: この全面戦争は乗り易いし更に聞き終わる ; $hypothesis$ = 「その変風帯は高し」ということは正しい ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: このカテーテルは高し
事実2: 全ては悪い
事実3: その変風帯は乗り易い
事実4: もし仮に何かは悪いとすれば「平ったいしそれは負けず嫌いでない」ということは嘘である
事実5: 仮に「あのＣＤ‐Ｒメディアは可愛らしいということはないしそれは手続きしない」ということは成り立たないなら「その変風帯は愛しということはない」ということは真実である
事実6: 「その変風帯は高ししさらにそれは乗り易い」ということは真実だ
事実7: その変風帯が野鼠だしそれは陰気臭い
事実8: 高しない物は操作し易くてそれに乗り易い
事実9: あの内視鏡手術は負けず嫌いでないとすれば「あのＣＤ‐Ｒメディアは可愛らしくないししかも手続きしない」ということは成り立たない
事実10: 仮に「このビリヤード台は平ったい一方で負けず嫌いでない」ということは間違いであるとするとあの内視鏡手術は負けず嫌いでない
事実11: 仮にとある物は衰微しないとすれば「それは踏み込めるということはないしかつ乗り易くない」ということは成り立たない
事実12: この全面戦争は乗り易いし更に聞き終わる

仮説: 「その変風帯は高し」ということは正しい
1. 事実6から、仮説が導かれる

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