この消防計画はしつっこくないがしかし以外だ
fact1: 仮に「「なにがしかの物は試行するということはなくて立ち退かない」ということは成り立つ」ということは偽だとすれば「それはしつっこくない」ということは事実だ fact2: もしこのクレジットは物寂しいということはないとすると「試行するということはないしまた立ち退かない」ということは誤っている fact3: なにがしかのものは置換する fact4: 「この消防計画はしつっこいししかもそれは以外である」ということは間違っている fact5: もし仮にこのクレジットはしつっこくないなら「この消防計画はしつっこくないが以外だ」ということは成り立つということはない fact6: 仮にこのクレジットは物寂しいということはないならば「試行するけれど立ち退かない」ということは間違いだ fact7: 「この消防計画はしつっこくない」ということは確かならば「立ち退くし試行するということはない」ということは偽だ fact8: もしもこのクレジットは物寂しくないなら「試行しなくて加えて立ち退く」ということは成り立たない fact9: このクレジットは物寂しくない
fact2 & fact9 -> int1: 「このクレジットは試行するということはなくて立ち退かない」ということは成り立たない; fact1 -> int2: 「このクレジットは試行しないしそれは立ち退かない」ということは誤っているとしたらしつっこくない; int1 & int2 -> int3: このクレジットはしつっこくない; int3 & fact5 -> hypothesis;
fact2 & fact9 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact1 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact5 -> hypothesis;
この消防計画はしつっこくないがしかし以外である
$facts$ = fact1: 仮に「「なにがしかの物は試行するということはなくて立ち退かない」ということは成り立つ」ということは偽だとすれば「それはしつっこくない」ということは事実だ fact2: もしこのクレジットは物寂しいということはないとすると「試行するということはないしまた立ち退かない」ということは誤っている fact3: なにがしかのものは置換する fact4: 「この消防計画はしつっこいししかもそれは以外である」ということは間違っている fact5: もし仮にこのクレジットはしつっこくないなら「この消防計画はしつっこくないが以外だ」ということは成り立つということはない fact6: 仮にこのクレジットは物寂しいということはないならば「試行するけれど立ち退かない」ということは間違いだ fact7: 「この消防計画はしつっこくない」ということは確かならば「立ち退くし試行するということはない」ということは偽だ fact8: もしもこのクレジットは物寂しくないなら「試行しなくて加えて立ち退く」ということは成り立たない fact9: このクレジットは物寂しくない ; $hypothesis$ = この消防計画はしつっこくないがしかし以外だ ; $proof$ = 
fact2 & fact9 -> int1: 「このクレジットは試行するということはなくて立ち退かない」ということは成り立たない; fact1 -> int2: 「このクレジットは試行しないしそれは立ち退かない」ということは誤っているとしたらしつっこくない; int1 & int2 -> int3: このクレジットはしつっこくない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「「なにがしかの物は試行するということはなくて立ち退かない」ということは成り立つ」ということは偽だとすれば「それはしつっこくない」ということは事実だ
事実2: もしこのクレジットは物寂しいということはないとすると「試行するということはないしまた立ち退かない」ということは誤っている
事実3: なにがしかのものは置換する
事実4: 「この消防計画はしつっこいししかもそれは以外である」ということは間違っている
事実5: もし仮にこのクレジットはしつっこくないなら「この消防計画はしつっこくないが以外だ」ということは成り立つということはない
事実6: 仮にこのクレジットは物寂しいということはないならば「試行するけれど立ち退かない」ということは間違いだ
事実7: 「この消防計画はしつっこくない」ということは確かならば「立ち退くし試行するということはない」ということは偽だ
事実8: もしもこのクレジットは物寂しくないなら「試行しなくて加えて立ち退く」ということは成り立たない
事実9: このクレジットは物寂しくない

仮説: この消防計画はしつっこくないがしかし以外だ
1. 事実2と事実9から、推論1: "「このクレジットは試行するということはなくて立ち退かない」ということは成り立たない"が導かれる
2. 事実1から、推論2: "「このクレジットは試行しないしそれは立ち退かない」ということは誤っているとしたらしつっこくない"が導かれる
3. 推論1と推論2から、推論3: "このクレジットはしつっこくない"が導かれる
4. 推論3と事実5から、仮説が否定される

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