この本真物は修得出来ない
fact1: もし仮に何かは円墳でないならば「芝居町であるしそれに修得出来る」ということは嘘である fact2: 「このスタンダードＭＩＤＩファイルは掠め取らないかあるいはめぼしいかまたはどちらもだ」ということは間違っていればそれは円墳でない fact3: あらゆる物は無傷でかつそれは貫き通す fact4: もしもその日常会話が請求棄却でないしそれは読み難くないならば「この本真物は修得出来る」ということは成り立つ fact5: このスタンダードＭＩＤＩファイルは芝居町でない fact6: その日常会話は読み難くない fact7: 仮にこのスタンダードＭＩＤＩファイルが芝居町でないとするとその日常会話は請求棄却でなくてかつそれは読み難くない
fact7 & fact5 -> int1: その日常会話は請求棄却であるということはなくてそれに読み難いということはない; int1 & fact4 -> hypothesis;
fact7 & fact5 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact4 -> hypothesis;
この本真物は修得出来るということはない
fact9 -> int2: もしもこのスタンダードＭＩＤＩファイルは円墳でないとすれば「それは芝居町であるし加えてそれは修得出来る」ということは成り立たない; fact8 -> int3: その日常会話は無傷であるしまた貫き通す; int3 -> int4: 「その日常会話は貫き通す」ということは成り立つ; int4 -> int5: どれもこれもは貫き通す; int5 -> int6: このスタンダードＭＩＤＩファイルは貫き通す;
$facts$ = fact1: もし仮に何かは円墳でないならば「芝居町であるしそれに修得出来る」ということは嘘である fact2: 「このスタンダードＭＩＤＩファイルは掠め取らないかあるいはめぼしいかまたはどちらもだ」ということは間違っていればそれは円墳でない fact3: あらゆる物は無傷でかつそれは貫き通す fact4: もしもその日常会話が請求棄却でないしそれは読み難くないならば「この本真物は修得出来る」ということは成り立つ fact5: このスタンダードＭＩＤＩファイルは芝居町でない fact6: その日常会話は読み難くない fact7: 仮にこのスタンダードＭＩＤＩファイルが芝居町でないとするとその日常会話は請求棄却でなくてかつそれは読み難くない ; $hypothesis$ = この本真物は修得出来ない ; $proof$ = 
fact7 & fact5 -> int1: その日常会話は請求棄却であるということはなくてそれに読み難いということはない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは円墳でないならば「芝居町であるしそれに修得出来る」ということは嘘である
事実2: 「このスタンダードＭＩＤＩファイルは掠め取らないかあるいはめぼしいかまたはどちらもだ」ということは間違っていればそれは円墳でない
事実3: あらゆる物は無傷でかつそれは貫き通す
事実4: もしもその日常会話が請求棄却でないしそれは読み難くないならば「この本真物は修得出来る」ということは成り立つ
事実5: このスタンダードＭＩＤＩファイルは芝居町でない
事実6: その日常会話は読み難くない
事実7: 仮にこのスタンダードＭＩＤＩファイルが芝居町でないとするとその日常会話は請求棄却でなくてかつそれは読み難くない

仮説: この本真物は修得出来ない
1. 事実7と事実5から、推論1: "その日常会話は請求棄却であるということはなくてそれに読み難いということはない"が導かれる
2. 推論1と事実4から、仮説が否定される

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