その両替商は間近い
fact1: あのティースプーンは有るらしいなら「擦り抜けるし子供染みない」ということは成り立たない fact2: 「このＡＤＨＤ行動は往生出来る」ということは本当である fact3: もしも「このお河童頭は有るらしい」ということは本当であるならばあのティースプーンは有るらしい fact4: あの一日前が精査しないとすればこのＡＤＨＤ行動は痛め付けるけれど精査しない fact5: 何かは前国王でないとすると容易しないしまたさり気無くない fact6: 「あの一日前は関係深いがしかし往生出来ない」ということは間違っている fact7: もしも「あるものは擦り抜けるがしかしそれは子供染みない」ということは誤っているとしたら前国王でない fact8: このＡＤＨＤ行動は達成し易い一方で四世紀末でない fact9: 「このお河童頭は有るらしいししかもそれは風呂敷包みである」ということは正しい fact10: もし「あの一日前は関係深いがしかし往生出来ない」ということは事実と異なるならそれは精査しない fact11: もしもこのＡＤＨＤ行動が描き上げないとすればあの一日前は精査するかもしくはそれは痛め付ける fact12: もし「痛め付けるけれど精査しない」物があればその両替商は間近い
fact10 & fact6 -> int1: あの一日前は精査しない; int1 & fact4 -> int2: このＡＤＨＤ行動は痛め付けるがしかし精査しない; int2 -> int3: とある物は痛め付ける一方で精査しない; int3 & fact12 -> hypothesis;
その両替商は間近くない
fact17 -> int4: 仮に「あのティースプーンは前国王だということはない」ということは成り立つとしたら容易するということはないしさり気無くない; fact18 -> int5: もし仮に「あのティースプーンは擦り抜けるけどそれは子供染みない」ということは偽であるならば前国王だということはない; fact14 -> int6: このお河童頭は有るらしい; fact15 & int6 -> int7: あのティースプーンは有るらしい; fact13 & int7 -> int8: 「あのティースプーンは擦り抜けるけれどそれは子供染みない」ということは偽である; int5 & int8 -> int9: あのティースプーンは前国王だということはない; int4 & int9 -> int10: あのティースプーンは容易しないしまたさり気無いということはない; int10 -> int11: 「容易しないしさり気無くない」ものはある;
$facts$ = fact1: あのティースプーンは有るらしいなら「擦り抜けるし子供染みない」ということは成り立たない fact2: 「このＡＤＨＤ行動は往生出来る」ということは本当である fact3: もしも「このお河童頭は有るらしい」ということは本当であるならばあのティースプーンは有るらしい fact4: あの一日前が精査しないとすればこのＡＤＨＤ行動は痛め付けるけれど精査しない fact5: 何かは前国王でないとすると容易しないしまたさり気無くない fact6: 「あの一日前は関係深いがしかし往生出来ない」ということは間違っている fact7: もしも「あるものは擦り抜けるがしかしそれは子供染みない」ということは誤っているとしたら前国王でない fact8: このＡＤＨＤ行動は達成し易い一方で四世紀末でない fact9: 「このお河童頭は有るらしいししかもそれは風呂敷包みである」ということは正しい fact10: もし「あの一日前は関係深いがしかし往生出来ない」ということは事実と異なるならそれは精査しない fact11: もしもこのＡＤＨＤ行動が描き上げないとすればあの一日前は精査するかもしくはそれは痛め付ける fact12: もし「痛め付けるけれど精査しない」物があればその両替商は間近い ; $hypothesis$ = その両替商は間近い ; $proof$ = 
fact10 & fact6 -> int1: あの一日前は精査しない; int1 & fact4 -> int2: このＡＤＨＤ行動は痛め付けるがしかし精査しない; int2 -> int3: とある物は痛め付ける一方で精査しない; int3 & fact12 -> hypothesis; __PROVED__
事実1: あのティースプーンは有るらしいなら「擦り抜けるし子供染みない」ということは成り立たない
事実2: 「このＡＤＨＤ行動は往生出来る」ということは本当である
事実3: もしも「このお河童頭は有るらしい」ということは本当であるならばあのティースプーンは有るらしい
事実4: あの一日前が精査しないとすればこのＡＤＨＤ行動は痛め付けるけれど精査しない
事実5: 何かは前国王でないとすると容易しないしまたさり気無くない
事実6: 「あの一日前は関係深いがしかし往生出来ない」ということは間違っている
事実7: もしも「あるものは擦り抜けるがしかしそれは子供染みない」ということは誤っているとしたら前国王でない
事実8: このＡＤＨＤ行動は達成し易い一方で四世紀末でない
事実9: 「このお河童頭は有るらしいししかもそれは風呂敷包みである」ということは正しい
事実10: もし「あの一日前は関係深いがしかし往生出来ない」ということは事実と異なるならそれは精査しない
事実11: もしもこのＡＤＨＤ行動が描き上げないとすればあの一日前は精査するかもしくはそれは痛め付ける
事実12: もし「痛め付けるけれど精査しない」物があればその両替商は間近い

仮説: その両替商は間近い
1. 事実10と事実6から、推論1: "あの一日前は精査しない"が導かれる
2. 推論1と事実4から、推論2: "このＡＤＨＤ行動は痛め付けるがしかし精査しない"が導かれる
3. 推論2から、推論3: "とある物は痛め付ける一方で精査しない"が導かれる
4. 推論3と事実12から、仮説が導かれる

よって、仮説が証明されました。