そのファンケルスクエアはカバーするということはない
fact1: 仮にとあるものは気付き易くないとすると「カバーしなくてそれにちらつかない」ということは事実と異なる fact2: そのファンケルスクエアは冷め難い fact3: そのファンケルスクエアは目配せするということはない fact4: もし「あの四人以下は評価し合うしおまけにそれは喧伝する」ということは成り立たないとしたらこの御祖母ちゃんは気付き易くない fact5: どれもこれもはちらつくししかも気付き易い fact6: もしもある物が冷め難いがしかし目配せしないとしたらカバーする
fact6 -> int1: そのファンケルスクエアは冷め難いけど目配せしないとすると「カバーする」ということは成り立つ; fact2 & fact3 -> int2: そのファンケルスクエアは冷め難い一方で目配せしない; int1 & int2 -> hypothesis;
fact6 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact3 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
そのファンケルスクエアはカバーするということはない
fact8 -> int3: もし「この御祖母ちゃんは気付き易くない」ということは正しいとすると「それはカバーしなくてまたちらつくということはない」ということは成り立つということはない;
$facts$ = fact1: 仮にとあるものは気付き易くないとすると「カバーしなくてそれにちらつかない」ということは事実と異なる fact2: そのファンケルスクエアは冷め難い fact3: そのファンケルスクエアは目配せするということはない fact4: もし「あの四人以下は評価し合うしおまけにそれは喧伝する」ということは成り立たないとしたらこの御祖母ちゃんは気付き易くない fact5: どれもこれもはちらつくししかも気付き易い fact6: もしもある物が冷め難いがしかし目配せしないとしたらカバーする ; $hypothesis$ = そのファンケルスクエアはカバーするということはない ; $proof$ = 
fact6 -> int1: そのファンケルスクエアは冷め難いけど目配せしないとすると「カバーする」ということは成り立つ; fact2 & fact3 -> int2: そのファンケルスクエアは冷め難い一方で目配せしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものは気付き易くないとすると「カバーしなくてそれにちらつかない」ということは事実と異なる
事実2: そのファンケルスクエアは冷め難い
事実3: そのファンケルスクエアは目配せするということはない
事実4: もし「あの四人以下は評価し合うしおまけにそれは喧伝する」ということは成り立たないとしたらこの御祖母ちゃんは気付き易くない
事実5: どれもこれもはちらつくししかも気付き易い
事実6: もしもある物が冷め難いがしかし目配せしないとしたらカバーする

仮説: そのファンケルスクエアはカバーするということはない
1. 事実6から、推論1: "そのファンケルスクエアは冷め難いけど目配せしないとすると「カバーする」ということは成り立つ"が導かれる
2. 事実2と事実3から、推論2: "そのファンケルスクエアは冷め難い一方で目配せしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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