この表彰ははきはきしない
fact1: この表彰は日本シリーズだ fact2: 仮になにがしかの物は一回りするとしたら「それは落第だということはないししかも外道だ」ということは事実と異なる fact3: もしこの連署が如才無くないしおまけにそれは齎し易くないなら「この第九項は忘れ難くない」ということは真実だ fact4: この表彰は公式試合である fact5: 仮に何らかのものが記載自体であるとしたら如才無くなくて加えてそれは齎し易くない fact6: もしもこの連署が落第だとするとそれは外道だけど如才無くない fact7: もし仮にある物は消費者物価でないとすると公式試合であるししかもはきはきする fact8: この連署は落第だ fact9: 仮にあるものは狭いなら「この表彰は消費者物価でない」ということは成り立つ fact10: もしも「このＫＳＰは狭くないしおまけにそれは消費者物価だということはない」ということは誤っているならばあの表彰ははきはきしない fact11: 「狭い」ものはある fact12: あの右手人差し指は役員報酬等でそれにはきはきする fact13: 仮にとあるものは忘れ難いとすると「それは狭いし加えてそれは消費者物価だということはない」ということは成り立たない fact14: この製造過程は元服する fact15: もし仮に「引き替える」ものがあればその紋所は抜き放たない fact16: もし仮に「「齎し易くないけど記載自体だ」ということは嘘である」ものがあればこの第九項は齎し易い fact17: 何もかもは一回りするしおまけにそれは格好付ける fact18: 「この第九項は齎し易い」ということは成り立つとしたら「このＫＳＰは忘れ難い」ということは成り立つ fact19: この登坂能力は二次元配列である fact20: もし「「狭いし消費者物価でない」ということは誤りな」ものがあればこの結果は公式試合である fact21: 仮に「何かは落第でないけど外道だ」ということは嘘だとすれば記載自体である fact22: 「集め易くない物は三類型である」ということは確かである fact23: この表彰は話し辛くない
fact7 -> int1: もしもこの表彰は消費者物価でないとしたらそれは公式試合であるしはきはきする; fact11 & fact9 -> int2: この表彰は消費者物価でない; int1 & int2 -> int3: この表彰は公式試合であるしはきはきする; int3 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact11 & fact9 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & {AB}{aa}); int3 -> hypothesis;
この表彰ははきはきしない
fact25 -> int4: もし仮に「このほろ酔い加減は一回りする」ということは成り立つなら「それは落第でないがしかし外道だ」ということは成り立つということはない; fact29 -> int5: このほろ酔い加減は一回りするしおまけに格好付ける; int5 -> int6: 「このほろ酔い加減は一回りする」ということは確かだ; int4 & int6 -> int7: 「このほろ酔い加減は落第でないけれどそれは外道である」ということは誤りだ; fact28 -> int8: 仮に「このほろ酔い加減は落第でない一方でそれは外道である」ということは誤っているなら記載自体だ; int7 & int8 -> int9: このほろ酔い加減は記載自体だ; fact26 -> int10: 「このほろ酔い加減は記載自体である」ということは確かならば「如才無いということはないしさらに齎し易くない」ということは確かである; int9 & int10 -> int11: このほろ酔い加減は如才無いということはなくてかつ齎し易くない; int11 -> int12: すべては如才無いということはなくてしかも齎し易くない; int12 -> int13: この連署は如才無くないし齎し易いということはない; fact27 & int13 -> int14: この第九項は忘れ難くない;
$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 -> int1: もしもこの表彰は消費者物価でないとしたらそれは公式試合であるしはきはきする; fact11 & fact9 -> int2: この表彰は消費者物価でない; int1 & int2 -> int3: この表彰は公式試合であるしはきはきする; int3 -> 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から、推論1: "もしもこの表彰は消費者物価でないとしたらそれは公式試合であるしはきはきする"が導かれる
2. 事実11と事実9から、推論2: "この表彰は消費者物価でない"が導かれる
3. 推論1と推論2から、推論3: "この表彰は公式試合であるしはきはきする"が導かれる
4. 推論3から、仮説が否定される

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