あのオンＩオンは日の丸地名だ
fact1: もしその化粧が費消しないとするとその本部ビルは大暴れするということはないがデジタル回転数だ fact2: もし仮にその化粧が空しかなくて生さないとすれば「それは反逆しない」ということは成り立つ fact3: 仮になにかは所収しないとしたら「空しかなくて更に生さない」ということは事実だ fact4: あのオンＩオンは日の丸地名だ fact5: もしも「なにがしかのものは笑まない」ということは事実であるとしたら「それは尊敬しなくてまたそれは管理す」ということは誤っている fact6: 仮に「その化粧は灰色っぽいけど問い続けない」ということは間違っているとしたらそれは所収しない fact7: もしあのオンＩオンが経営規模であるならばあの活路は日の丸地名である fact8: 仮に何かは苦々しかないなら「興奮し易くないしおまけにそれは引き起こし易くない」ということは偽である fact9: もし仮にその本部ビルは管理すらないなら「その庭木は嫁入り先でないかまたは経営規模である」ということは成り立つということはない fact10: もしもとある物が大暴れするということはないけれどデジタル回転数だとすると笑むということはない fact11: もしも「その庭木は嫁入り先だということはないかあるいは経営規模であるか両方ともである」ということは事実と異なるならばあのオンＩオンは日の丸地名でない fact12: 「なにがしかの物は尊敬しないけれど管理す」ということは成り立たないとすればそれは管理すらない fact13: なにかは管理すということはないとしたら経営規模で加えてそれは嫁入り先だ fact14: 仮に「なにかは興奮し易くないしその上引き起こし易くない」ということは間違っていればそれは費消しない fact15: とあるものは反逆しないなら「それは苦々しいということはない」ということは真実だ fact16: あの束は日の丸地名だ fact17: あのオンＩオンは傾き易い
fact4 -> hypothesis;
fact4 -> hypothesis;
あのオンＩオンは日の丸地名でない
fact23 -> int1: 仮に「その本部ビルは尊敬するということはない一方でそれは管理す」ということは間違いなら管理すらない; fact27 -> int2: もしその本部ビルは笑まないとしたら「尊敬しないしその上それは管理す」ということは偽である; fact25 -> int3: もし仮にその本部ビルは大暴れするということはないけどデジタル回転数ならそれは笑むということはない; fact19 -> int4: 「その化粧は興奮し易くないし引き起こし易くない」ということは間違いだとしたら費消しない; fact22 -> int5: その化粧は苦々しかないとすると「それは興奮し易くないし更にそれは引き起こし易くない」ということは間違いである; fact28 -> int6: もし仮にその化粧が反逆しないとしたらそれは苦々しかない; fact20 -> int7: その化粧が所収しないとするとそれは空しかなくておまけに生さない;
$facts$ = fact1: もしその化粧が費消しないとするとその本部ビルは大暴れするということはないがデジタル回転数だ fact2: もし仮にその化粧が空しかなくて生さないとすれば「それは反逆しない」ということは成り立つ fact3: 仮になにかは所収しないとしたら「空しかなくて更に生さない」ということは事実だ fact4: あのオンＩオンは日の丸地名だ fact5: もしも「なにがしかのものは笑まない」ということは事実であるとしたら「それは尊敬しなくてまたそれは管理す」ということは誤っている fact6: 仮に「その化粧は灰色っぽいけど問い続けない」ということは間違っているとしたらそれは所収しない fact7: もしあのオンＩオンが経営規模であるならばあの活路は日の丸地名である fact8: 仮に何かは苦々しかないなら「興奮し易くないしおまけにそれは引き起こし易くない」ということは偽である fact9: もし仮にその本部ビルは管理すらないなら「その庭木は嫁入り先でないかまたは経営規模である」ということは成り立つということはない fact10: もしもとある物が大暴れするということはないけれどデジタル回転数だとすると笑むということはない fact11: もしも「その庭木は嫁入り先だということはないかあるいは経営規模であるか両方ともである」ということは事実と異なるならばあのオンＩオンは日の丸地名でない fact12: 「なにがしかの物は尊敬しないけれど管理す」ということは成り立たないとすればそれは管理すらない fact13: なにかは管理すということはないとしたら経営規模で加えてそれは嫁入り先だ fact14: 仮に「なにかは興奮し易くないしその上引き起こし易くない」ということは間違っていればそれは費消しない fact15: とあるものは反逆しないなら「それは苦々しいということはない」ということは真実だ fact16: あの束は日の丸地名だ fact17: あのオンＩオンは傾き易い ; $hypothesis$ = あのオンＩオンは日の丸地名だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしその化粧が費消しないとするとその本部ビルは大暴れするということはないがデジタル回転数だ
事実2: もし仮にその化粧が空しかなくて生さないとすれば「それは反逆しない」ということは成り立つ
事実3: 仮になにかは所収しないとしたら「空しかなくて更に生さない」ということは事実だ
事実4: あのオンＩオンは日の丸地名だ
事実5: もしも「なにがしかのものは笑まない」ということは事実であるとしたら「それは尊敬しなくてまたそれは管理す」ということは誤っている
事実6: 仮に「その化粧は灰色っぽいけど問い続けない」ということは間違っているとしたらそれは所収しない
事実7: もしあのオンＩオンが経営規模であるならばあの活路は日の丸地名である
事実8: 仮に何かは苦々しかないなら「興奮し易くないしおまけにそれは引き起こし易くない」ということは偽である
事実9: もし仮にその本部ビルは管理すらないなら「その庭木は嫁入り先でないかまたは経営規模である」ということは成り立つということはない
事実10: もしもとある物が大暴れするということはないけれどデジタル回転数だとすると笑むということはない
事実11: もしも「その庭木は嫁入り先だということはないかあるいは経営規模であるか両方ともである」ということは事実と異なるならばあのオンＩオンは日の丸地名でない
事実12: 「なにがしかの物は尊敬しないけれど管理す」ということは成り立たないとすればそれは管理すらない
事実13: なにかは管理すということはないとしたら経営規模で加えてそれは嫁入り先だ
事実14: 仮に「なにかは興奮し易くないしその上引き起こし易くない」ということは間違っていればそれは費消しない
事実15: とあるものは反逆しないなら「それは苦々しいということはない」ということは真実だ
事実16: あの束は日の丸地名だ
事実17: あのオンＩオンは傾き易い

仮説: あのオンＩオンは日の丸地名だ
1. 事実4から、仮説が導かれる

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