「この砲艦は御札である」ということは正しい
fact1: ある物は来季であるとすればそれは古い fact2: もし「この元陸軍大佐は南方諸島である」ということは誤りであるなら「この特殊音部分は荒っぽくないけど南方諸島だ」ということは成り立たない fact3: 「易しい」ものはある fact4: この会社分割が古いとしたらこの砲艦は御札だ fact5: 加入可能年数は白っぽい fact6: 「この会社分割は来季でないけど御札である」ということは正しくない fact7: もしもこの特殊音部分は来季でないとすると「この会社分割は十分過ぎないけれどそれは来季である」ということは成り立つということはない fact8: 「カタログ化する」ものはある fact9: もしこの特殊音部分は十分過ぎるとしたら「この会社分割は来季である」ということは事実だ fact10: なにがしかのものが水臭いとすれば尖み付ける fact11: その応神記は来季でない fact12: もし仮にこの元陸軍大佐が御札であるとしたらこの砲艦は南方諸島である fact13: もし「とある物は荒っぽくないがそれは南方諸島だ」ということは誤っているならそれは十分過ぎる fact14: もしも易しい物があるとしたらこの元陸軍大佐は南方諸島でない fact15: もしもこの特殊音部分は南方諸島でないとすると十分過ぎる
fact3 & fact14 -> int1: この元陸軍大佐は南方諸島でない; int1 & fact2 -> int2: 「この特殊音部分は荒っぽくない一方で南方諸島である」ということは嘘だ; fact13 -> int3: 仮に「この特殊音部分は荒っぽいということはない一方でそれは南方諸島だ」ということは成り立つということはないとすれば十分過ぎる; int2 & int3 -> int4: この特殊音部分は十分過ぎる; int4 & fact9 -> int5: この会社分割は来季だ; fact1 -> int6: もしこの会社分割が来季だとすれば古い; int5 & int6 -> int7: この会社分割は古い; int7 & fact4 -> hypothesis;
$facts$ = fact1: ある物は来季であるとすればそれは古い fact2: もし「この元陸軍大佐は南方諸島である」ということは誤りであるなら「この特殊音部分は荒っぽくないけど南方諸島だ」ということは成り立たない fact3: 「易しい」ものはある fact4: この会社分割が古いとしたらこの砲艦は御札だ fact5: 加入可能年数は白っぽい fact6: 「この会社分割は来季でないけど御札である」ということは正しくない fact7: もしもこの特殊音部分は来季でないとすると「この会社分割は十分過ぎないけれどそれは来季である」ということは成り立つということはない fact8: 「カタログ化する」ものはある fact9: もしこの特殊音部分は十分過ぎるとしたら「この会社分割は来季である」ということは事実だ fact10: なにがしかのものが水臭いとすれば尖み付ける fact11: その応神記は来季でない fact12: もし仮にこの元陸軍大佐が御札であるとしたらこの砲艦は南方諸島である fact13: もし「とある物は荒っぽくないがそれは南方諸島だ」ということは誤っているならそれは十分過ぎる fact14: もしも易しい物があるとしたらこの元陸軍大佐は南方諸島でない fact15: もしもこの特殊音部分は南方諸島でないとすると十分過ぎる ; $hypothesis$ = 「この砲艦は御札である」ということは正しい ; $proof$ = 
fact3 & fact14 -> int1: この元陸軍大佐は南方諸島でない; int1 & fact2 -> int2: 「この特殊音部分は荒っぽくない一方で南方諸島である」ということは嘘だ; fact13 -> int3: 仮に「この特殊音部分は荒っぽいということはない一方でそれは南方諸島だ」ということは成り立つということはないとすれば十分過ぎる; int2 & int3 -> int4: この特殊音部分は十分過ぎる; int4 & fact9 -> int5: この会社分割は来季だ; fact1 -> int6: もしこの会社分割が来季だとすれば古い; int5 & int6 -> int7: この会社分割は古い; int7 & fact4 -> hypothesis; __PROVED__
事実1: ある物は来季であるとすればそれは古い
事実2: もし「この元陸軍大佐は南方諸島である」ということは誤りであるなら「この特殊音部分は荒っぽくないけど南方諸島だ」ということは成り立たない
事実3: 「易しい」ものはある
事実4: この会社分割が古いとしたらこの砲艦は御札だ
事実5: 加入可能年数は白っぽい
事実6: 「この会社分割は来季でないけど御札である」ということは正しくない
事実7: もしもこの特殊音部分は来季でないとすると「この会社分割は十分過ぎないけれどそれは来季である」ということは成り立つということはない
事実8: 「カタログ化する」ものはある
事実9: もしこの特殊音部分は十分過ぎるとしたら「この会社分割は来季である」ということは事実だ
事実10: なにがしかのものが水臭いとすれば尖み付ける
事実11: その応神記は来季でない
事実12: もし仮にこの元陸軍大佐が御札であるとしたらこの砲艦は南方諸島である
事実13: もし「とある物は荒っぽくないがそれは南方諸島だ」ということは誤っているならそれは十分過ぎる
事実14: もしも易しい物があるとしたらこの元陸軍大佐は南方諸島でない
事実15: もしもこの特殊音部分は南方諸島でないとすると十分過ぎる

仮説: 「この砲艦は御札である」ということは正しい
1. 事実3と事実14から、推論1: "この元陸軍大佐は南方諸島でない"が導かれる
2. 推論1と事実2から、推論2: "「この特殊音部分は荒っぽくない一方で南方諸島である」ということは嘘だ"が導かれる
3. 事実13から、推論3: "仮に「この特殊音部分は荒っぽいということはない一方でそれは南方諸島だ」ということは成り立つということはないとすれば十分過ぎる"が導かれる
4. 推論2と推論3から、推論4: "この特殊音部分は十分過ぎる"が導かれる
5. 推論4と事実9から、推論5: "この会社分割は来季だ"が導かれる
6. 事実1から、推論6: "もしこの会社分割が来季だとすれば古い"が導かれる
7. 推論5と推論6から、推論7: "この会社分割は古い"が導かれる
8. 推論7と事実4から、仮説が導かれる

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