あの代数はタレット旋盤であるがしかし御縋りするということはない
fact1: もし「その護国は各都道府県知事宛てでない」ということは成り立つとすると「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない fact2: もし仮になんらかの物が同封致すとすればそれはタレット旋盤である fact3: 「あの代数は御縋りするけれど各都道府県知事宛てだということはない」ということは成り立たない fact4: その護国は各都道府県知事宛てでない fact5: もしその護国は各都道府県知事宛てだということはないなら「あの代数はタレット旋盤だけれど御縋りしない」ということは事実と異なる fact6: もしもあの代数は御縋りしないとしたら「その護国はタレット旋盤である一方で各都道府県知事宛てだということはない」ということは成り立つということはない fact7: 「「その護国は御縋りする一方で各都道府県知事宛てでない」ということは成り立つ」ということは間違いだ fact8: もしも「あのＧＣは飼うし漸減する」ということは成り立たないならばあの代数は飼わない fact9: もし仮にあの代数は各都道府県知事宛てでないなら「その護国は御縋りする一方でタレット旋盤でない」ということは真実でない fact10: 仮にあの代数がのたうち回るとしたらその護国はすーごい fact11: 「あの代数は各都道府県知事宛てでない」ということは成り立つなら「その護国はタレット旋盤である一方でそれは御縋りするということはない」ということは成り立たない fact12: とあるものは同封致すとしたら「のたうち回る」ということは成り立つ fact13: 「その護国はタレット旋盤だがのたうち回らない」ということは誤りである fact14: もし仮にあの代数は御縋りしないとしたら「その護国は各都道府県知事宛てであるがしかしタレット旋盤でない」ということは誤っている fact15: 「あの代数はタレット旋盤でない」ということは本当だとすると「その護国は御縋りする一方で各都道府県知事宛てでない」ということは誤っている fact16: 「もし仮にあの代数が各都道府県知事宛てでないししかもすーごくないとすれば「あの代数は御縋りしない」ということは事実である」ということは本当だ fact17: もしも「その護国はタレット旋盤だということはない」ということは成り立つとすると「あの代数は御縋りするが各都道府県知事宛てでない」ということは成り立つということはない fact18: 「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない fact19: もしも「何かは飼わない」ということは成り立つとしたら同封致す fact20: その護国は御縋りするということはない
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
あの代数はタレット旋盤だけど御縋りしない
fact22 -> int1: もし仮にあの代数が同封致せばそれはタレット旋盤だ;
$facts$ = fact1: もし「その護国は各都道府県知事宛てでない」ということは成り立つとすると「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない fact2: もし仮になんらかの物が同封致すとすればそれはタレット旋盤である fact3: 「あの代数は御縋りするけれど各都道府県知事宛てだということはない」ということは成り立たない fact4: その護国は各都道府県知事宛てでない fact5: もしその護国は各都道府県知事宛てだということはないなら「あの代数はタレット旋盤だけれど御縋りしない」ということは事実と異なる fact6: もしもあの代数は御縋りしないとしたら「その護国はタレット旋盤である一方で各都道府県知事宛てだということはない」ということは成り立つということはない fact7: 「「その護国は御縋りする一方で各都道府県知事宛てでない」ということは成り立つ」ということは間違いだ fact8: もしも「あのＧＣは飼うし漸減する」ということは成り立たないならばあの代数は飼わない fact9: もし仮にあの代数は各都道府県知事宛てでないなら「その護国は御縋りする一方でタレット旋盤でない」ということは真実でない fact10: 仮にあの代数がのたうち回るとしたらその護国はすーごい fact11: 「あの代数は各都道府県知事宛てでない」ということは成り立つなら「その護国はタレット旋盤である一方でそれは御縋りするということはない」ということは成り立たない fact12: とあるものは同封致すとしたら「のたうち回る」ということは成り立つ fact13: 「その護国はタレット旋盤だがのたうち回らない」ということは誤りである fact14: もし仮にあの代数は御縋りしないとしたら「その護国は各都道府県知事宛てであるがしかしタレット旋盤でない」ということは誤っている fact15: 「あの代数はタレット旋盤でない」ということは本当だとすると「その護国は御縋りする一方で各都道府県知事宛てでない」ということは誤っている fact16: 「もし仮にあの代数が各都道府県知事宛てでないししかもすーごくないとすれば「あの代数は御縋りしない」ということは事実である」ということは本当だ fact17: もしも「その護国はタレット旋盤だということはない」ということは成り立つとすると「あの代数は御縋りするが各都道府県知事宛てでない」ということは成り立つということはない fact18: 「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない fact19: もしも「何かは飼わない」ということは成り立つとしたら同封致す fact20: その護国は御縋りするということはない ; $hypothesis$ = あの代数はタレット旋盤であるがしかし御縋りするということはない ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「その護国は各都道府県知事宛てでない」ということは成り立つとすると「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない
事実2: もし仮になんらかの物が同封致すとすればそれはタレット旋盤である
事実3: 「あの代数は御縋りするけれど各都道府県知事宛てだということはない」ということは成り立たない
事実4: その護国は各都道府県知事宛てでない
事実5: もしその護国は各都道府県知事宛てだということはないなら「あの代数はタレット旋盤だけれど御縋りしない」ということは事実と異なる
事実6: もしもあの代数は御縋りしないとしたら「その護国はタレット旋盤である一方で各都道府県知事宛てだということはない」ということは成り立つということはない
事実7: 「「その護国は御縋りする一方で各都道府県知事宛てでない」ということは成り立つ」ということは間違いだ
事実8: もしも「あのＧＣは飼うし漸減する」ということは成り立たないならばあの代数は飼わない
事実9: もし仮にあの代数は各都道府県知事宛てでないなら「その護国は御縋りする一方でタレット旋盤でない」ということは真実でない
事実10: 仮にあの代数がのたうち回るとしたらその護国はすーごい
事実11: 「あの代数は各都道府県知事宛てでない」ということは成り立つなら「その護国はタレット旋盤である一方でそれは御縋りするということはない」ということは成り立たない
事実12: とあるものは同封致すとしたら「のたうち回る」ということは成り立つ
事実13: 「その護国はタレット旋盤だがのたうち回らない」ということは誤りである
事実14: もし仮にあの代数は御縋りしないとしたら「その護国は各都道府県知事宛てであるがしかしタレット旋盤でない」ということは誤っている
事実15: 「あの代数はタレット旋盤でない」ということは本当だとすると「その護国は御縋りする一方で各都道府県知事宛てでない」ということは誤っている
事実16: 「もし仮にあの代数が各都道府県知事宛てでないししかもすーごくないとすれば「あの代数は御縋りしない」ということは事実である」ということは本当だ
事実17: もしも「その護国はタレット旋盤だということはない」ということは成り立つとすると「あの代数は御縋りするが各都道府県知事宛てでない」ということは成り立つということはない
事実18: 「あの代数はタレット旋盤であるし御縋りする」ということは成り立たない
事実19: もしも「何かは飼わない」ということは成り立つとしたら同封致す
事実20: その護国は御縋りするということはない

仮説: あの代数はタレット旋盤であるがしかし御縋りするということはない
1. 事実5と事実4から、仮説が否定される

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