あの抵抗Ｒはおもろい
fact1: もしもあの抵抗Ｒが賢しいならふてぶてしくない fact2: とあるものは惟るないとしたら「おもろくて加えて衒う」ということは誤っている fact3: 何らかのものが大型種でないとすれば仲睦まじくて出し易い fact4: 「そのオフィスアプリケーションは衒わない」ということは成り立つ fact5: 仮に「このＲＣＲＳは仲睦まじい」ということは成り立つとすればこの第二帝政は惟るない fact6: もし仮にこの横筋が大型種でないがそれが噛み続けるとすればこのＲＣＲＳは大型種でない fact7: 「あの抵抗Ｒは衒わない」ということは事実であるとすると「罷免しないしさらにそれは打ち合わせ会でない」ということは成り立たない fact8: 「何らかの物は罷免しないし打ち合わせ会でない」ということは嘘であるとすればおもろくない fact9: 「あの抵抗Ｒは衒わない」ということは成り立つ fact10: もし「とあるものはおもろいしかつそれは衒う」ということは成り立たないとすると衒わない
fact8 -> int1: もしも「あの抵抗Ｒは罷免しないしさらに打ち合わせ会でない」ということは真実でないとしたらおもろくない; fact9 & fact7 -> int2: 「あの抵抗Ｒは罷免しないしそれにそれは打ち合わせ会でない」ということは事実と異なる; int1 & int2 -> hypothesis;
この第二帝政は衒わない
fact13 -> int3: 「この第二帝政はおもろくて更に衒う」ということは間違いならば衒わない; fact14 -> int4: もしもこの第二帝政は惟るないならば「それはおもろくて衒う」ということは間違っている; fact12 -> int5: もし仮にこのＲＣＲＳが大型種だということはないとしたらそれは仲睦まじくて出し易い;
$facts$ = fact1: もしもあの抵抗Ｒが賢しいならふてぶてしくない fact2: とあるものは惟るないとしたら「おもろくて加えて衒う」ということは誤っている fact3: 何らかのものが大型種でないとすれば仲睦まじくて出し易い fact4: 「そのオフィスアプリケーションは衒わない」ということは成り立つ fact5: 仮に「このＲＣＲＳは仲睦まじい」ということは成り立つとすればこの第二帝政は惟るない fact6: もし仮にこの横筋が大型種でないがそれが噛み続けるとすればこのＲＣＲＳは大型種でない fact7: 「あの抵抗Ｒは衒わない」ということは事実であるとすると「罷免しないしさらにそれは打ち合わせ会でない」ということは成り立たない fact8: 「何らかの物は罷免しないし打ち合わせ会でない」ということは嘘であるとすればおもろくない fact9: 「あの抵抗Ｒは衒わない」ということは成り立つ fact10: もし「とあるものはおもろいしかつそれは衒う」ということは成り立たないとすると衒わない ; $hypothesis$ = あの抵抗Ｒはおもろい ; $proof$ = 
fact8 -> int1: もしも「あの抵抗Ｒは罷免しないしさらに打ち合わせ会でない」ということは真実でないとしたらおもろくない; fact9 & fact7 -> int2: 「あの抵抗Ｒは罷免しないしそれにそれは打ち合わせ会でない」ということは事実と異なる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの抵抗Ｒが賢しいならふてぶてしくない
事実2: とあるものは惟るないとしたら「おもろくて加えて衒う」ということは誤っている
事実3: 何らかのものが大型種でないとすれば仲睦まじくて出し易い
事実4: 「そのオフィスアプリケーションは衒わない」ということは成り立つ
事実5: 仮に「このＲＣＲＳは仲睦まじい」ということは成り立つとすればこの第二帝政は惟るない
事実6: もし仮にこの横筋が大型種でないがそれが噛み続けるとすればこのＲＣＲＳは大型種でない
事実7: 「あの抵抗Ｒは衒わない」ということは事実であるとすると「罷免しないしさらにそれは打ち合わせ会でない」ということは成り立たない
事実8: 「何らかの物は罷免しないし打ち合わせ会でない」ということは嘘であるとすればおもろくない
事実9: 「あの抵抗Ｒは衒わない」ということは成り立つ
事実10: もし「とあるものはおもろいしかつそれは衒う」ということは成り立たないとすると衒わない

仮説: あの抵抗Ｒはおもろい
1. 事実8から、推論1: "もしも「あの抵抗Ｒは罷免しないしさらに打ち合わせ会でない」ということは真実でないとしたらおもろくない"が導かれる
2. 事実9と事実7から、推論2: "「あの抵抗Ｒは罷免しないしそれにそれは打ち合わせ会でない」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。