「この葉緑体はチーでないか読み辛いかまたはどちらもである」ということは事実と異なる
fact1: プロジェクトウィンドウは余所余所しい fact2: あるものは観客数でないとしたら「睦まじくないがプロジェクトウィンドウである」ということは事実と異なる fact3: この葉緑体は叫び返す fact4: 仮にこの葉緑体がピールであるとすると打ち難いかまたは余所余所しいかどちらもである fact5: 「この葉緑体は素晴らし」ということは成り立つ fact6: もしあの奉行所がウェアウルフであるならあの防止等は観客数でない fact7: もし仮に「あの防止等は睦まじくないがしかしプロジェクトウィンドウだ」ということは成り立つということはないならその横這いは余所余所しかない fact8: 読み辛いものは睦まじくないかもしくは余所余所しいかもしくはどちらもである fact9: もし仮にあの厚生省告示は佃煮であるなら性転換者だ fact10: この葉緑体は睦まじくてそれは余所余所しい fact11: 余所余所しい物はチーであるかあるいは読み辛い fact12: その原住民族は費用配分するかあるいはホークアイであるかあるいはどちらもである fact13: その多様化はチーであるか抵当権消滅請求であるかあるいは両方ともである fact14: その中間層はファイルＳだしさらに読み辛い fact15: 余所余所しいものはチーでないかあるいは読み辛いかもしくは両方ともである fact16: あの厚生省告示は佃煮である fact17: この葉緑体は余所余所しいかもしくは労わり合うかまたは両方ともである fact18: もし仮にその横這いは余所余所しかないなら「この葉緑体はチーでないか読み辛いかまたは両方だ」ということは成り立つということはない fact19: もし仮になにかは分かり難くないなら「それは各細胞でなくて加えてウェアウルフでない」ということは成り立たない fact20: もしもなにかは読み辛いならばそれは余所余所しいかもしくは睦まじいかもしくはどちらもだ
fact15 -> int1: もし仮にこの葉緑体が余所余所しいとするとそれはチーでないかあるいは読み辛い; fact10 -> int2: この葉緑体は余所余所しい; int1 & int2 -> hypothesis;
fact15 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); fact10 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
この葉緑体は睦まじくないかあるいは転職するかまたは両方ともだ
fact21 -> int3: もし仮にその横這いがプロジェクトウィンドウならば余所余所しい;
$facts$ = fact1: プロジェクトウィンドウは余所余所しい fact2: あるものは観客数でないとしたら「睦まじくないがプロジェクトウィンドウである」ということは事実と異なる fact3: この葉緑体は叫び返す fact4: 仮にこの葉緑体がピールであるとすると打ち難いかまたは余所余所しいかどちらもである fact5: 「この葉緑体は素晴らし」ということは成り立つ fact6: もしあの奉行所がウェアウルフであるならあの防止等は観客数でない fact7: もし仮に「あの防止等は睦まじくないがしかしプロジェクトウィンドウだ」ということは成り立つということはないならその横這いは余所余所しかない fact8: 読み辛いものは睦まじくないかもしくは余所余所しいかもしくはどちらもである fact9: もし仮にあの厚生省告示は佃煮であるなら性転換者だ fact10: この葉緑体は睦まじくてそれは余所余所しい fact11: 余所余所しい物はチーであるかあるいは読み辛い fact12: その原住民族は費用配分するかあるいはホークアイであるかあるいはどちらもである fact13: その多様化はチーであるか抵当権消滅請求であるかあるいは両方ともである fact14: その中間層はファイルＳだしさらに読み辛い fact15: 余所余所しいものはチーでないかあるいは読み辛いかもしくは両方ともである fact16: あの厚生省告示は佃煮である fact17: この葉緑体は余所余所しいかもしくは労わり合うかまたは両方ともである fact18: もし仮にその横這いは余所余所しかないなら「この葉緑体はチーでないか読み辛いかまたは両方だ」ということは成り立つということはない fact19: もし仮になにかは分かり難くないなら「それは各細胞でなくて加えてウェアウルフでない」ということは成り立たない fact20: もしもなにかは読み辛いならばそれは余所余所しいかもしくは睦まじいかもしくはどちらもだ ; $hypothesis$ = 「この葉緑体はチーでないか読み辛いかまたはどちらもである」ということは事実と異なる ; $proof$ = 
fact15 -> int1: もし仮にこの葉緑体が余所余所しいとするとそれはチーでないかあるいは読み辛い; fact10 -> int2: この葉緑体は余所余所しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: プロジェクトウィンドウは余所余所しい
事実2: あるものは観客数でないとしたら「睦まじくないがプロジェクトウィンドウである」ということは事実と異なる
事実3: この葉緑体は叫び返す
事実4: 仮にこの葉緑体がピールであるとすると打ち難いかまたは余所余所しいかどちらもである
事実5: 「この葉緑体は素晴らし」ということは成り立つ
事実6: もしあの奉行所がウェアウルフであるならあの防止等は観客数でない
事実7: もし仮に「あの防止等は睦まじくないがしかしプロジェクトウィンドウだ」ということは成り立つということはないならその横這いは余所余所しかない
事実8: 読み辛いものは睦まじくないかもしくは余所余所しいかもしくはどちらもである
事実9: もし仮にあの厚生省告示は佃煮であるなら性転換者だ
事実10: この葉緑体は睦まじくてそれは余所余所しい
事実11: 余所余所しい物はチーであるかあるいは読み辛い
事実12: その原住民族は費用配分するかあるいはホークアイであるかあるいはどちらもである
事実13: その多様化はチーであるか抵当権消滅請求であるかあるいは両方ともである
事実14: その中間層はファイルＳだしさらに読み辛い
事実15: 余所余所しいものはチーでないかあるいは読み辛いかもしくは両方ともである
事実16: あの厚生省告示は佃煮である
事実17: この葉緑体は余所余所しいかもしくは労わり合うかまたは両方ともである
事実18: もし仮にその横這いは余所余所しかないなら「この葉緑体はチーでないか読み辛いかまたは両方だ」ということは成り立つということはない
事実19: もし仮になにかは分かり難くないなら「それは各細胞でなくて加えてウェアウルフでない」ということは成り立たない
事実20: もしもなにかは読み辛いならばそれは余所余所しいかもしくは睦まじいかもしくはどちらもだ

仮説: 「この葉緑体はチーでないか読み辛いかまたはどちらもである」ということは事実と異なる
1. 事実15から、推論1: "もし仮にこの葉緑体が余所余所しいとするとそれはチーでないかあるいは読み辛い"が導かれる
2. 事実10から、推論2: "この葉緑体は余所余所しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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