「その古希は改易しないけれど落選である」ということは成り立たない
fact1: もしあの殺人刀が引け成るかまたは成り得るとするとその古希は改易しない fact2: もしもあの殺人刀が成り得るとするとその古希は改易しない fact3: あの予防・改善は引け成る fact4: もしも「あの塑像は拭い難くない」ということは確かならば「それはソロイストであるし落選だ」ということは間違っている fact5: 仮にとある物が拭い難いならそれは落選である fact6: あの殺人刀は引け成る fact7: 「その古希はソロイストでないがしかし拭い難い」ということは成り立たない fact8: 「その古希はソロイストでないし加えて拭い難くない」ということは成り立たない fact9: もし何かは引け成れば「それは改易しないし落選である」ということは成り立たない fact10: もし仮に「「その古希はソロイストであるということはないしそれは拭い難くない」ということは嘘である」ということは本当であるなら拭い難い fact11: もしこの広告効果が臨めるということはないとするとあの塑像は駅舎でない fact12: その古希は泣ける fact13: もし「あの塑像は駅舎でない」ということは誤りでないとすれば「あの殺人刀は拭い難い一方でソロイストでない」ということは成り立たない fact14: もしも「その古希はソロイストでないしその上成り得ない」ということは間違いだとすると「成り得る」ということは本当だ fact15: 拭い難くない物は引け成るしその上成り得る fact16: もし「あの塑像はソロイストだしまた落選だ」ということは誤りであるとすればその古希は落選でない
fact6 -> int1: あの殺人刀は引け成るかもしくは成り得るかまたは両方だ; int1 & fact1 -> int2: その古希は改易するということはない; fact10 & fact8 -> int3: その古希は拭い難い; fact5 -> int4: もしもその古希が拭い難いとしたらそれは落選だ; int3 & int4 -> int5: その古希は落選である; int2 & int5 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; fact10 & fact8 -> int3: {E}{b}; fact5 -> int4: {E}{b} -> {D}{b}; int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
そのリボン・ディベロップメントは改易する
$facts$ = fact1: もしあの殺人刀が引け成るかまたは成り得るとするとその古希は改易しない fact2: もしもあの殺人刀が成り得るとするとその古希は改易しない fact3: あの予防・改善は引け成る fact4: もしも「あの塑像は拭い難くない」ということは確かならば「それはソロイストであるし落選だ」ということは間違っている fact5: 仮にとある物が拭い難いならそれは落選である fact6: あの殺人刀は引け成る fact7: 「その古希はソロイストでないがしかし拭い難い」ということは成り立たない fact8: 「その古希はソロイストでないし加えて拭い難くない」ということは成り立たない fact9: もし何かは引け成れば「それは改易しないし落選である」ということは成り立たない fact10: もし仮に「「その古希はソロイストであるということはないしそれは拭い難くない」ということは嘘である」ということは本当であるなら拭い難い fact11: もしこの広告効果が臨めるということはないとするとあの塑像は駅舎でない fact12: その古希は泣ける fact13: もし「あの塑像は駅舎でない」ということは誤りでないとすれば「あの殺人刀は拭い難い一方でソロイストでない」ということは成り立たない fact14: もしも「その古希はソロイストでないしその上成り得ない」ということは間違いだとすると「成り得る」ということは本当だ fact15: 拭い難くない物は引け成るしその上成り得る fact16: もし「あの塑像はソロイストだしまた落選だ」ということは誤りであるとすればその古希は落選でない ; $hypothesis$ = 「その古希は改易しないけれど落選である」ということは成り立たない ; $proof$ = 
fact6 -> int1: あの殺人刀は引け成るかもしくは成り得るかまたは両方だ; int1 & fact1 -> int2: その古希は改易するということはない; fact10 & fact8 -> int3: その古希は拭い難い; fact5 -> int4: もしもその古希が拭い難いとしたらそれは落選だ; int3 & int4 -> int5: その古希は落選である; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしあの殺人刀が引け成るかまたは成り得るとするとその古希は改易しない
事実2: もしもあの殺人刀が成り得るとするとその古希は改易しない
事実3: あの予防・改善は引け成る
事実4: もしも「あの塑像は拭い難くない」ということは確かならば「それはソロイストであるし落選だ」ということは間違っている
事実5: 仮にとある物が拭い難いならそれは落選である
事実6: あの殺人刀は引け成る
事実7: 「その古希はソロイストでないがしかし拭い難い」ということは成り立たない
事実8: 「その古希はソロイストでないし加えて拭い難くない」ということは成り立たない
事実9: もし何かは引け成れば「それは改易しないし落選である」ということは成り立たない
事実10: もし仮に「「その古希はソロイストであるということはないしそれは拭い難くない」ということは嘘である」ということは本当であるなら拭い難い
事実11: もしこの広告効果が臨めるということはないとするとあの塑像は駅舎でない
事実12: その古希は泣ける
事実13: もし「あの塑像は駅舎でない」ということは誤りでないとすれば「あの殺人刀は拭い難い一方でソロイストでない」ということは成り立たない
事実14: もしも「その古希はソロイストでないしその上成り得ない」ということは間違いだとすると「成り得る」ということは本当だ
事実15: 拭い難くない物は引け成るしその上成り得る
事実16: もし「あの塑像はソロイストだしまた落選だ」ということは誤りであるとすればその古希は落選でない

仮説: 「その古希は改易しないけれど落選である」ということは成り立たない
1. 事実6から、推論1: "あの殺人刀は引け成るかもしくは成り得るかまたは両方だ"が導かれる
2. 推論1と事実1から、推論2: "その古希は改易するということはない"が導かれる
3. 事実10と事実8から、推論3: "その古希は拭い難い"が導かれる
4. 事実5から、推論4: "もしもその古希が拭い難いとしたらそれは落選だ"が導かれる
5. 推論3と推論4から、推論5: "その古希は落選である"が導かれる
6. 推論2と推論5から、仮説が否定される

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