その立ち姿は縁付かないしＣメーンフレームクラスだということはない
fact1: もしとある物は原告側であるとすると「縁付かないしその上ｃメーンフレームクラスでない」ということは誤りである fact2: 全ての物は縁付かなくて加えてＣメーンフレームクラスでない fact3: もし仮にこのアザーンがしょっぱくないとしたら原告側でなくて更に援助出来るということはない fact4: もしもあの領内が限定付きでないがしかし請書だとすればあの立ち姿は請書でない fact5: もしなんらかの物が請書でないならば原告側だし更にしょっぱい fact6: もし仮に「とある物は恐ろしいしそれは外交フォーラムである」ということは成り立つということはないならばそれは恐ろしくない fact7: 恐ろしくない物は限定付きでないがしかし請書である fact8: もし仮にあの領内は同女性でないとすると「それは恐ろしくてそれは外交フォーラムだ」ということは間違っている
fact2 -> hypothesis;
fact2 -> hypothesis;
このアザーンは援助出来ないししかもＣメーンフレームクラスだということはない
$facts$ = fact1: もしとある物は原告側であるとすると「縁付かないしその上ｃメーンフレームクラスでない」ということは誤りである fact2: 全ての物は縁付かなくて加えてＣメーンフレームクラスでない fact3: もし仮にこのアザーンがしょっぱくないとしたら原告側でなくて更に援助出来るということはない fact4: もしもあの領内が限定付きでないがしかし請書だとすればあの立ち姿は請書でない fact5: もしなんらかの物が請書でないならば原告側だし更にしょっぱい fact6: もし仮に「とある物は恐ろしいしそれは外交フォーラムである」ということは成り立つということはないならばそれは恐ろしくない fact7: 恐ろしくない物は限定付きでないがしかし請書である fact8: もし仮にあの領内は同女性でないとすると「それは恐ろしくてそれは外交フォーラムだ」ということは間違っている ; $hypothesis$ = その立ち姿は縁付かないしＣメーンフレームクラスだということはない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしとある物は原告側であるとすると「縁付かないしその上ｃメーンフレームクラスでない」ということは誤りである
事実2: 全ての物は縁付かなくて加えてＣメーンフレームクラスでない
事実3: もし仮にこのアザーンがしょっぱくないとしたら原告側でなくて更に援助出来るということはない
事実4: もしもあの領内が限定付きでないがしかし請書だとすればあの立ち姿は請書でない
事実5: もしなんらかの物が請書でないならば原告側だし更にしょっぱい
事実6: もし仮に「とある物は恐ろしいしそれは外交フォーラムである」ということは成り立つということはないならばそれは恐ろしくない
事実7: 恐ろしくない物は限定付きでないがしかし請書である
事実8: もし仮にあの領内は同女性でないとすると「それは恐ろしくてそれは外交フォーラムだ」ということは間違っている

仮説: その立ち姿は縁付かないしＣメーンフレームクラスだということはない
1. 事実2から、仮説が導かれる

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