この猫好きはアメリカっぽくない
fact1: もし何らかのものが増幅するかまたはそれが勢力であるかあるいはどちらもであるとすればこの花菖蒲は見破らない fact2: もし「ある物は解読しないし加えてそれは精霊であるということはない」ということは誤っていればそれは試験でない fact3: 「言い回しでない」ものはある fact4: もし仮に何らかのものは試験でないとしたら短髪でない fact5: もし仮にこの花菖蒲が見破らないとするとこの猫好きはアメリカっぽい fact6: もしもある物は言い回しだということはないとすると「この保存用は解読しなくて精霊でない」ということは偽だ fact7: 仮にある物が短髪でないとすれば増幅する fact8: もし仮にとあるものが解読するかまたはそれは言い回しでないかまたはどちらもであるならばそれは近し fact9: 精霊は試験でない
fact3 & fact6 -> int1: 「この保存用が解読しないしさらに精霊でない」ということは偽である; fact2 -> int2: 「この保存用は解読しないし加えて精霊であるということはない」ということは成り立たないならそれは試験でない; int1 & int2 -> int3: この保存用は試験でない; fact4 -> int4: この保存用が試験でないとすればそれは短髪でない; int3 & int4 -> int5: 「この保存用は短髪でない」ということは成り立つ; fact7 -> int6: もしもこの保存用が短髪でないとすればそれは増幅する; int5 & int6 -> int7: この保存用は増幅する; int7 -> int8: この保存用は増幅するか勢力である; int8 -> int9: 「増幅するかもしくは勢力な」物はある; int9 & fact1 -> int10: この花菖蒲は見破らない; int10 & fact5 -> hypothesis;
「芳しいかあるいは近しかもしくはどちらもである」物はある
fact10 -> int11: もしもこの保存用が解読するか言い回しでないとすると近し;
$facts$ = fact1: もし何らかのものが増幅するかまたはそれが勢力であるかあるいはどちらもであるとすればこの花菖蒲は見破らない fact2: もし「ある物は解読しないし加えてそれは精霊であるということはない」ということは誤っていればそれは試験でない fact3: 「言い回しでない」ものはある fact4: もし仮に何らかのものは試験でないとしたら短髪でない fact5: もし仮にこの花菖蒲が見破らないとするとこの猫好きはアメリカっぽい fact6: もしもある物は言い回しだということはないとすると「この保存用は解読しなくて精霊でない」ということは偽だ fact7: 仮にある物が短髪でないとすれば増幅する fact8: もし仮にとあるものが解読するかまたはそれは言い回しでないかまたはどちらもであるならばそれは近し fact9: 精霊は試験でない ; $hypothesis$ = この猫好きはアメリカっぽくない ; $proof$ = 
fact3 & fact6 -> int1: 「この保存用が解読しないしさらに精霊でない」ということは偽である; fact2 -> int2: 「この保存用は解読しないし加えて精霊であるということはない」ということは成り立たないならそれは試験でない; int1 & int2 -> int3: この保存用は試験でない; fact4 -> int4: この保存用が試験でないとすればそれは短髪でない; int3 & int4 -> int5: 「この保存用は短髪でない」ということは成り立つ; fact7 -> int6: もしもこの保存用が短髪でないとすればそれは増幅する; int5 & int6 -> int7: この保存用は増幅する; int7 -> int8: この保存用は増幅するか勢力である; int8 -> int9: 「増幅するかもしくは勢力な」物はある; int9 & fact1 -> int10: この花菖蒲は見破らない; int10 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何らかのものが増幅するかまたはそれが勢力であるかあるいはどちらもであるとすればこの花菖蒲は見破らない
事実2: もし「ある物は解読しないし加えてそれは精霊であるということはない」ということは誤っていればそれは試験でない
事実3: 「言い回しでない」ものはある
事実4: もし仮に何らかのものは試験でないとしたら短髪でない
事実5: もし仮にこの花菖蒲が見破らないとするとこの猫好きはアメリカっぽい
事実6: もしもある物は言い回しだということはないとすると「この保存用は解読しなくて精霊でない」ということは偽だ
事実7: 仮にある物が短髪でないとすれば増幅する
事実8: もし仮にとあるものが解読するかまたはそれは言い回しでないかまたはどちらもであるならばそれは近し
事実9: 精霊は試験でない

仮説: この猫好きはアメリカっぽくない
1. 事実3と事実6から、推論1: "「この保存用が解読しないしさらに精霊でない」ということは偽である"が導かれる
2. 事実2から、推論2: "「この保存用は解読しないし加えて精霊であるということはない」ということは成り立たないならそれは試験でない"が導かれる
3. 推論1と推論2から、推論3: "この保存用は試験でない"が導かれる
4. 事実4から、推論4: "この保存用が試験でないとすればそれは短髪でない"が導かれる
5. 推論3と推論4から、推論5: "「この保存用は短髪でない」ということは成り立つ"が導かれる
6. 事実7から、推論6: "もしもこの保存用が短髪でないとすればそれは増幅する"が導かれる
7. 推論5と推論6から、推論7: "この保存用は増幅する"が導かれる
8. 推論7から、推論8: "この保存用は増幅するか勢力である"が導かれる
9. 推論8から、推論9: "「増幅するかもしくは勢力な」物はある"が導かれる
10. 推論9と事実1から、推論10: "この花菖蒲は見破らない"が導かれる
11. 推論10と事実5から、仮説が否定される

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