「この正徳元年はプレジェットである」ということは確かだ
fact1: もしこの正徳元年が大人しないとすれば瞬きしないしかつそれはプレジェットだ fact2: もし「あの大籬は与え難くない」ということは真実だとすればそれは燃え易くない fact3: 仮に何らかの物は味自体であるならば「与え難くないし燃え易い」ということは事実と異なる fact4: もし仮にあの大籬が味自体だということはないならそれは履き直さない fact5: あの大籬は与え難くない fact6: あの大籬は燃え易いということはない fact7: 「その末梢神経系は食べ出さないしかつ大人しない」ということは正しいとしたら「瞬きしない」ということは確かである fact8: その末梢神経系は食べ出さないし大人しない fact9: あの大籬は瞬きする fact10: そのプロはコレヒドール島要塞でない fact11: 「とあるものは与え難くないが燃え易い」ということは成り立たないとするとそれは燃え易くない fact12: もし「とある物はプレジェットだということはないししかもそれは履き直すということはない」ということは成り立たないとしたら履き直す fact13: 「あの大籬は大人しかもしくはそれは瞬きしないかもしくはどちらもである」ということは成り立たない fact14: 「あの大籬は大人しか瞬きするかあるいは両方である」ということは嘘だとするとそれは百姓らしい fact15: あの大籬が履き直すということはないとしたらこの正徳元年はプレジェットでない fact16: もしある物は瞬きしないならば「この正徳元年はプレジェットでなくてしかも履き直さない」ということは誤っている fact17: 仮にあの大籬はコレヒドール島要塞であるしかつ味自体ならそれは百姓らしくない fact18: もし「あの大籬は味自体であるけれどそれは百姓らしくない」ということは成り立たないならば「その必見は味自体である」ということは真実である fact19: もしあの大籬が与え難くないならば燃え易いということはない一方でコレヒドール島要塞である fact20: もし仮に「あの大籬は大人しかもしくは瞬きするということはないかまたはどちらもである」ということは嘘であるならそれは百姓らしい
fact19 & fact5 -> int1: あの大籬は燃え易いということはないけれどそれはコレヒドール島要塞である; int1 -> int2: あの大籬はコレヒドール島要塞だ; void -> assump1: 以下のように仮定する。あの大籬は味自体である; int2 & assump1 -> int3: あの大籬がコレヒドール島要塞だし味自体である; int3 & fact17 -> int4: 「あの大籬は百姓らしくない」ということは確かだ; fact13 & fact20 -> int5: あの大籬は百姓らしい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの大籬は味自体でない; int7 & fact4 -> int8: あの大籬は履き直さない; int8 & fact15 -> hypothesis;
その必見は燃え易くない
fact22 -> int9: もし仮に「その必見は与え難くないけれど燃え易い」ということは成り立たないとしたらそれは燃え易くない; fact23 -> int10: その必見は味自体だとすれば「与え難くないし燃え易い」ということは成り立つということはない; fact24 -> int11: もしも「この正徳元年はプレジェットだということはないしまた履き直さない」ということは成り立たないならそれは履き直す; fact25 & fact27 -> int12: その末梢神経系は瞬きしない; int12 -> int13: 「「瞬きしない」ということは成り立つ」物はある; int13 & fact26 -> int14: 「この正徳元年はプレジェットでないし履き直すということはない」ということは誤っている; int11 & int14 -> int15: この正徳元年は履き直す; int15 -> int16: 何かは履き直す;
$facts$ = fact1: もしこの正徳元年が大人しないとすれば瞬きしないしかつそれはプレジェットだ fact2: もし「あの大籬は与え難くない」ということは真実だとすればそれは燃え易くない fact3: 仮に何らかの物は味自体であるならば「与え難くないし燃え易い」ということは事実と異なる fact4: もし仮にあの大籬が味自体だということはないならそれは履き直さない fact5: あの大籬は与え難くない fact6: あの大籬は燃え易いということはない fact7: 「その末梢神経系は食べ出さないしかつ大人しない」ということは正しいとしたら「瞬きしない」ということは確かである fact8: その末梢神経系は食べ出さないし大人しない fact9: あの大籬は瞬きする fact10: そのプロはコレヒドール島要塞でない fact11: 「とあるものは与え難くないが燃え易い」ということは成り立たないとするとそれは燃え易くない fact12: もし「とある物はプレジェットだということはないししかもそれは履き直すということはない」ということは成り立たないとしたら履き直す fact13: 「あの大籬は大人しかもしくはそれは瞬きしないかもしくはどちらもである」ということは成り立たない fact14: 「あの大籬は大人しか瞬きするかあるいは両方である」ということは嘘だとするとそれは百姓らしい fact15: あの大籬が履き直すということはないとしたらこの正徳元年はプレジェットでない fact16: もしある物は瞬きしないならば「この正徳元年はプレジェットでなくてしかも履き直さない」ということは誤っている fact17: 仮にあの大籬はコレヒドール島要塞であるしかつ味自体ならそれは百姓らしくない fact18: もし「あの大籬は味自体であるけれどそれは百姓らしくない」ということは成り立たないならば「その必見は味自体である」ということは真実である fact19: もしあの大籬が与え難くないならば燃え易いということはない一方でコレヒドール島要塞である fact20: もし仮に「あの大籬は大人しかもしくは瞬きするということはないかまたはどちらもである」ということは嘘であるならそれは百姓らしい ; $hypothesis$ = 「この正徳元年はプレジェットである」ということは確かだ ; $proof$ = 
fact19 & fact5 -> int1: あの大籬は燃え易いということはないけれどそれはコレヒドール島要塞である; int1 -> int2: あの大籬はコレヒドール島要塞だ; void -> assump1: 以下のように仮定する。あの大籬は味自体である; int2 & assump1 -> int3: あの大籬がコレヒドール島要塞だし味自体である; int3 & fact17 -> int4: 「あの大籬は百姓らしくない」ということは確かだ; fact13 & fact20 -> int5: あの大籬は百姓らしい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの大籬は味自体でない; int7 & fact4 -> int8: あの大籬は履き直さない; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: もしこの正徳元年が大人しないとすれば瞬きしないしかつそれはプレジェットだ
事実2: もし「あの大籬は与え難くない」ということは真実だとすればそれは燃え易くない
事実3: 仮に何らかの物は味自体であるならば「与え難くないし燃え易い」ということは事実と異なる
事実4: もし仮にあの大籬が味自体だということはないならそれは履き直さない
事実5: あの大籬は与え難くない
事実6: あの大籬は燃え易いということはない
事実7: 「その末梢神経系は食べ出さないしかつ大人しない」ということは正しいとしたら「瞬きしない」ということは確かである
事実8: その末梢神経系は食べ出さないし大人しない
事実9: あの大籬は瞬きする
事実10: そのプロはコレヒドール島要塞でない
事実11: 「とあるものは与え難くないが燃え易い」ということは成り立たないとするとそれは燃え易くない
事実12: もし「とある物はプレジェットだということはないししかもそれは履き直すということはない」ということは成り立たないとしたら履き直す
事実13: 「あの大籬は大人しかもしくはそれは瞬きしないかもしくはどちらもである」ということは成り立たない
事実14: 「あの大籬は大人しか瞬きするかあるいは両方である」ということは嘘だとするとそれは百姓らしい
事実15: あの大籬が履き直すということはないとしたらこの正徳元年はプレジェットでない
事実16: もしある物は瞬きしないならば「この正徳元年はプレジェットでなくてしかも履き直さない」ということは誤っている
事実17: 仮にあの大籬はコレヒドール島要塞であるしかつ味自体ならそれは百姓らしくない
事実18: もし「あの大籬は味自体であるけれどそれは百姓らしくない」ということは成り立たないならば「その必見は味自体である」ということは真実である
事実19: もしあの大籬が与え難くないならば燃え易いということはない一方でコレヒドール島要塞である
事実20: もし仮に「あの大籬は大人しかもしくは瞬きするということはないかまたはどちらもである」ということは嘘であるならそれは百姓らしい

仮説: 「この正徳元年はプレジェットである」ということは確かだ
1. 事実19と事実5から、推論1: "あの大籬は燃え易いということはないけれどそれはコレヒドール島要塞である"が導かれる
2. 推論1から、推論2: "あの大籬はコレヒドール島要塞だ"が導かれる
3. 仮定1: 以下のように仮定する。あの大籬は味自体である
4. 推論2と仮定1から、推論3: "あの大籬がコレヒドール島要塞だし味自体である"が導かれる
5. 推論3と事実17から、推論4: "「あの大籬は百姓らしくない」ということは確かだ"が導かれる
6. 事実13と事実20から、推論5: "あの大籬は百姓らしい"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの大籬は味自体でない"が導かれる
9. 推論7と事実4から、推論8: "あの大籬は履き直さない"が導かれる
10. 推論8と事実15から、仮説が否定される

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