あのニードルコークスは拒み続ける
fact1: もし「あの正史は広しないし更にそれはＣセブンでない」ということは誤りであるとすればその紀行文は晒され易い fact2: あのニードルコークスは労労じない fact3: 仮にあのニードルコークスは広しならば「それは拒み続けるし加えてＣセブンでない」ということは成り立たない fact4: あの正史は拒み続ける fact5: なんらかのものは拒み続けるとすれば「Ｃセブンであるし晒され易くない」ということは嘘だ fact6: 「あの正史は愛らしいしそれは拒み続ける」ということは嘘である fact7: もし仮に「あの正史は愛らしくないししかも晒され易くない」ということは成り立たないならばあの紀行文は広し fact8: 仮に「その紀行文はＣセブンでないしそれは晒され易くない」ということは成り立たないならあの正史は愛らしい fact9: ある物はＣセブンであるならば「広しがしかし拒み続けるということはない」ということは間違いである fact10: その紀行文は握り込む fact11: もしとあるものは労労じならば「愛らしくてかつ広し」ということは間違いだ fact12: 「その紀行文は晒され易くておまけにＣセブンだ」ということは誤りだ fact13: もしあるものは労労じならば「愛らしくて加えてＣセブンである」ということは間違いだ fact14: あの正史は労労じない fact15: もし仮にとあるものは広しとしたら「労労じしその上Ｃセブンでない」ということは嘘である fact16: もしも「その紀行文は晒され易いということはないしそれにそれは愛らしくない」ということは誤りだとするとあの正史は労労じ fact17: 「あの正史は愛らしくないし晒され易くない」ということは誤っている fact18: もし仮に「あのニードルコークスは愛らしいけれど広しない」ということは成り立つということはないならばあの紀行文は拒み続けない fact19: 仮に「その紀行文は愛らしいがしかし広しない」ということは成り立つということはないとすればあの正史は労労じない fact20: もし仮にあの正史が拒み続けるとしたらあのニードルコークスは愛らしい fact21: もしその紀行文は広しとすれば「それは愛らしくて晒され易い」ということは偽である fact22: その紀行文は拒み続けない fact23: もしも「その紀行文は労労じ一方でＣセブンでない」ということは成り立たないとしたらあのニードルコークスは拒み続けない
fact7 & fact17 -> int1: その紀行文は広し; fact15 -> int2: もしその紀行文は広しならば「それは労労じけれどＣセブンでない」ということは間違っている; int1 & int2 -> int3: 「その紀行文は労労じ一方でＣセブンでない」ということは事実でない; int3 & fact23 -> hypothesis;
$facts$ = fact1: もし「あの正史は広しないし更にそれはＣセブンでない」ということは誤りであるとすればその紀行文は晒され易い fact2: あのニードルコークスは労労じない fact3: 仮にあのニードルコークスは広しならば「それは拒み続けるし加えてＣセブンでない」ということは成り立たない fact4: あの正史は拒み続ける fact5: なんらかのものは拒み続けるとすれば「Ｃセブンであるし晒され易くない」ということは嘘だ fact6: 「あの正史は愛らしいしそれは拒み続ける」ということは嘘である fact7: もし仮に「あの正史は愛らしくないししかも晒され易くない」ということは成り立たないならばあの紀行文は広し fact8: 仮に「その紀行文はＣセブンでないしそれは晒され易くない」ということは成り立たないならあの正史は愛らしい fact9: ある物はＣセブンであるならば「広しがしかし拒み続けるということはない」ということは間違いである fact10: その紀行文は握り込む fact11: もしとあるものは労労じならば「愛らしくてかつ広し」ということは間違いだ fact12: 「その紀行文は晒され易くておまけにＣセブンだ」ということは誤りだ fact13: もしあるものは労労じならば「愛らしくて加えてＣセブンである」ということは間違いだ fact14: あの正史は労労じない fact15: もし仮にとあるものは広しとしたら「労労じしその上Ｃセブンでない」ということは嘘である fact16: もしも「その紀行文は晒され易いということはないしそれにそれは愛らしくない」ということは誤りだとするとあの正史は労労じ fact17: 「あの正史は愛らしくないし晒され易くない」ということは誤っている fact18: もし仮に「あのニードルコークスは愛らしいけれど広しない」ということは成り立つということはないならばあの紀行文は拒み続けない fact19: 仮に「その紀行文は愛らしいがしかし広しない」ということは成り立つということはないとすればあの正史は労労じない fact20: もし仮にあの正史が拒み続けるとしたらあのニードルコークスは愛らしい fact21: もしその紀行文は広しとすれば「それは愛らしくて晒され易い」ということは偽である fact22: その紀行文は拒み続けない fact23: もしも「その紀行文は労労じ一方でＣセブンでない」ということは成り立たないとしたらあのニードルコークスは拒み続けない ; $hypothesis$ = あのニードルコークスは拒み続ける ; $proof$ = 
fact7 & fact17 -> int1: その紀行文は広し; fact15 -> int2: もしその紀行文は広しならば「それは労労じけれどＣセブンでない」ということは間違っている; int1 & int2 -> int3: 「その紀行文は労労じ一方でＣセブンでない」ということは事実でない; int3 & fact23 -> hypothesis; __DISPROVED__
事実1: もし「あの正史は広しないし更にそれはＣセブンでない」ということは誤りであるとすればその紀行文は晒され易い
事実2: あのニードルコークスは労労じない
事実3: 仮にあのニードルコークスは広しならば「それは拒み続けるし加えてＣセブンでない」ということは成り立たない
事実4: あの正史は拒み続ける
事実5: なんらかのものは拒み続けるとすれば「Ｃセブンであるし晒され易くない」ということは嘘だ
事実6: 「あの正史は愛らしいしそれは拒み続ける」ということは嘘である
事実7: もし仮に「あの正史は愛らしくないししかも晒され易くない」ということは成り立たないならばあの紀行文は広し
事実8: 仮に「その紀行文はＣセブンでないしそれは晒され易くない」ということは成り立たないならあの正史は愛らしい
事実9: ある物はＣセブンであるならば「広しがしかし拒み続けるということはない」ということは間違いである
事実10: その紀行文は握り込む
事実11: もしとあるものは労労じならば「愛らしくてかつ広し」ということは間違いだ
事実12: 「その紀行文は晒され易くておまけにＣセブンだ」ということは誤りだ
事実13: もしあるものは労労じならば「愛らしくて加えてＣセブンである」ということは間違いだ
事実14: あの正史は労労じない
事実15: もし仮にとあるものは広しとしたら「労労じしその上Ｃセブンでない」ということは嘘である
事実16: もしも「その紀行文は晒され易いということはないしそれにそれは愛らしくない」ということは誤りだとするとあの正史は労労じ
事実17: 「あの正史は愛らしくないし晒され易くない」ということは誤っている
事実18: もし仮に「あのニードルコークスは愛らしいけれど広しない」ということは成り立つということはないならばあの紀行文は拒み続けない
事実19: 仮に「その紀行文は愛らしいがしかし広しない」ということは成り立つということはないとすればあの正史は労労じない
事実20: もし仮にあの正史が拒み続けるとしたらあのニードルコークスは愛らしい
事実21: もしその紀行文は広しとすれば「それは愛らしくて晒され易い」ということは偽である
事実22: その紀行文は拒み続けない
事実23: もしも「その紀行文は労労じ一方でＣセブンでない」ということは成り立たないとしたらあのニードルコークスは拒み続けない

仮説: あのニードルコークスは拒み続ける
1. 事実7と事実17から、推論1: "その紀行文は広し"が導かれる
2. 事実15から、推論2: "もしその紀行文は広しならば「それは労労じけれどＣセブンでない」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "「その紀行文は労労じ一方でＣセブンでない」ということは事実でない"が導かれる
4. 推論3と事実23から、仮説が否定される

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