その男女別は保存・反映しない
fact1: もし床しかない物が保存・反映しないなら確からしい fact2: もしこの猫ちゃんは押し潰さないとすると「捕まえ易いかそれは改まる」ということは正しい fact3: 仮に「何かは床しかない一方で保存・反映する」ということは確かでないなら「それは保存・反映する」ということは誤りである fact4: この猫ちゃんは床しい fact5: この猫ちゃんは押し潰すということはない fact6: その半球は保存・反映する fact7: もしもその男女別が保存・反映しないならこの猫ちゃんは床しかない fact8: もし仮に「何らかのものは来襲するということはないけれどそれは当たり易い」ということは成り立たないならば当たり易くない fact9: その男女別はＤＭＡ機能である fact10: 当たり易くない物は女々しいしその上説法する fact11: もしこの猫ちゃんが女々しいならばあの男女別が床しかないしさらに保存・反映しない fact12: この猫ちゃんは遅延するとすると「それは来襲しないしかつ当たり易い」ということは真実でない fact13: この猫ちゃんは萎える fact14: この連続データは床しい
void -> assump1: 以下のように仮定する。その男女別は保存・反映しない; fact7 & assump1 -> int1: この猫ちゃんは床しいということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact7 & assump1 -> int1: ¬{B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
その男女別は確からしい
fact15 -> int3: もしその男女別は床しかなくて保存・反映しないなら確からしい; fact17 -> int4: もしこの猫ちゃんが当たり易くないならば女々しいししかも説法する; fact19 -> int5: 「「この猫ちゃんは来襲しないけどそれは当たり易い」ということは嘘でない」ということは間違いならそれは当たり易くない; fact21 & fact16 -> int6: この猫ちゃんは捕まえ易いかあるいは改まる;
$facts$ = fact1: もし床しかない物が保存・反映しないなら確からしい fact2: もしこの猫ちゃんは押し潰さないとすると「捕まえ易いかそれは改まる」ということは正しい fact3: 仮に「何かは床しかない一方で保存・反映する」ということは確かでないなら「それは保存・反映する」ということは誤りである fact4: この猫ちゃんは床しい fact5: この猫ちゃんは押し潰すということはない fact6: その半球は保存・反映する fact7: もしもその男女別が保存・反映しないならこの猫ちゃんは床しかない fact8: もし仮に「何らかのものは来襲するということはないけれどそれは当たり易い」ということは成り立たないならば当たり易くない fact9: その男女別はＤＭＡ機能である fact10: 当たり易くない物は女々しいしその上説法する fact11: もしこの猫ちゃんが女々しいならばあの男女別が床しかないしさらに保存・反映しない fact12: この猫ちゃんは遅延するとすると「それは来襲しないしかつ当たり易い」ということは真実でない fact13: この猫ちゃんは萎える fact14: この連続データは床しい ; $hypothesis$ = その男女別は保存・反映しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その男女別は保存・反映しない; fact7 & assump1 -> int1: この猫ちゃんは床しいということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし床しかない物が保存・反映しないなら確からしい
事実2: もしこの猫ちゃんは押し潰さないとすると「捕まえ易いかそれは改まる」ということは正しい
事実3: 仮に「何かは床しかない一方で保存・反映する」ということは確かでないなら「それは保存・反映する」ということは誤りである
事実4: この猫ちゃんは床しい
事実5: この猫ちゃんは押し潰すということはない
事実6: その半球は保存・反映する
事実7: もしもその男女別が保存・反映しないならこの猫ちゃんは床しかない
事実8: もし仮に「何らかのものは来襲するということはないけれどそれは当たり易い」ということは成り立たないならば当たり易くない
事実9: その男女別はＤＭＡ機能である
事実10: 当たり易くない物は女々しいしその上説法する
事実11: もしこの猫ちゃんが女々しいならばあの男女別が床しかないしさらに保存・反映しない
事実12: この猫ちゃんは遅延するとすると「それは来襲しないしかつ当たり易い」ということは真実でない
事実13: この猫ちゃんは萎える
事実14: この連続データは床しい

仮説: その男女別は保存・反映しない
1. 仮定1: 以下のように仮定する。その男女別は保存・反映しない
2. 事実7と仮定1から、推論1: "この猫ちゃんは床しいということはない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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