このＴＩＡは見付け易い
fact1: もしもなにがしかのものが書き合うとしたら国際情勢だ fact2: 仮に「その新羅王朝は依存出来るがしかし浅くない」ということは成り立たないとしたらこの授業前は増改築しない fact3: この授業前は遷座しない fact4: その新羅王朝は見付け易い fact5: 入り難いものは見付け易い fact6: 仮にこの第二小隊が渦巻けばそれは喫する fact7: もし仮にとあるものが増改築しないならそれは遷座するということはない fact8: 仮にこの第二小隊は喫するなら「その新羅王朝は依存出来るけど浅くない」ということは間違っている fact9: あの三歳未満が国際情勢ならこのＴＩＡは入り難い fact10: 「その新羅王朝は依存出来るし更に浅い」ということは間違いである fact11: もしこの授業前が遷座するということはない一方でそれが本部長であるとすればあの三歳未満は書き合う fact12: 仮にこの授業前が増改築しないとすれば遷座しない fact13: もし仮にこの第二小隊は愛くるしいということはないかあるいは渦巻くかどちらもだとしたら喫する fact14: もし仮に何かは増改築しないとしたらそれは遷座しないけど本部長だ fact15: もし仮にこの授業前が遷座するしおまけにそれが本部長であるとしたらあの三歳未満は書き合う fact16: この第二小隊は愛くるしくないか渦巻く
fact13 & fact16 -> int1: この第二小隊は喫する; int1 & fact8 -> int2: 「その新羅王朝は依存出来る一方でそれは浅くない」ということは間違いだ; int2 & fact2 -> int3: この授業前は増改築しない; fact14 -> int4: もしも「この授業前は増改築しない」ということは成り立つとすれば遷座しないしさらにそれは本部長である; int3 & int4 -> int5: この授業前は遷座しないがそれは本部長だ; int5 & fact11 -> int6: あの三歳未満は書き合う; fact1 -> int7: もしもあの三歳未満が書き合うとすると国際情勢である; int6 & int7 -> int8: 「あの三歳未満は国際情勢だ」ということは事実だ; int8 & fact9 -> int9: このＴＩＡは入り難い; fact5 -> int10: もしこのＴＩＡが入り難いならば見付け易い; int9 & int10 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものが書き合うとしたら国際情勢だ fact2: 仮に「その新羅王朝は依存出来るがしかし浅くない」ということは成り立たないとしたらこの授業前は増改築しない fact3: この授業前は遷座しない fact4: その新羅王朝は見付け易い fact5: 入り難いものは見付け易い fact6: 仮にこの第二小隊が渦巻けばそれは喫する fact7: もし仮にとあるものが増改築しないならそれは遷座するということはない fact8: 仮にこの第二小隊は喫するなら「その新羅王朝は依存出来るけど浅くない」ということは間違っている fact9: あの三歳未満が国際情勢ならこのＴＩＡは入り難い fact10: 「その新羅王朝は依存出来るし更に浅い」ということは間違いである fact11: もしこの授業前が遷座するということはない一方でそれが本部長であるとすればあの三歳未満は書き合う fact12: 仮にこの授業前が増改築しないとすれば遷座しない fact13: もし仮にこの第二小隊は愛くるしいということはないかあるいは渦巻くかどちらもだとしたら喫する fact14: もし仮に何かは増改築しないとしたらそれは遷座しないけど本部長だ fact15: もし仮にこの授業前が遷座するしおまけにそれが本部長であるとしたらあの三歳未満は書き合う fact16: この第二小隊は愛くるしくないか渦巻く ; $hypothesis$ = このＴＩＡは見付け易い ; $proof$ = 
fact13 & fact16 -> int1: この第二小隊は喫する; int1 & fact8 -> int2: 「その新羅王朝は依存出来る一方でそれは浅くない」ということは間違いだ; int2 & fact2 -> int3: この授業前は増改築しない; fact14 -> int4: もしも「この授業前は増改築しない」ということは成り立つとすれば遷座しないしさらにそれは本部長である; int3 & int4 -> int5: この授業前は遷座しないがそれは本部長だ; int5 & fact11 -> int6: あの三歳未満は書き合う; fact1 -> int7: もしもあの三歳未満が書き合うとすると国際情勢である; int6 & int7 -> int8: 「あの三歳未満は国際情勢だ」ということは事実だ; int8 & fact9 -> int9: このＴＩＡは入り難い; fact5 -> int10: もしこのＴＩＡが入り難いならば見付け易い; int9 & int10 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが書き合うとしたら国際情勢だ
事実2: 仮に「その新羅王朝は依存出来るがしかし浅くない」ということは成り立たないとしたらこの授業前は増改築しない
事実3: この授業前は遷座しない
事実4: その新羅王朝は見付け易い
事実5: 入り難いものは見付け易い
事実6: 仮にこの第二小隊が渦巻けばそれは喫する
事実7: もし仮にとあるものが増改築しないならそれは遷座するということはない
事実8: 仮にこの第二小隊は喫するなら「その新羅王朝は依存出来るけど浅くない」ということは間違っている
事実9: あの三歳未満が国際情勢ならこのＴＩＡは入り難い
事実10: 「その新羅王朝は依存出来るし更に浅い」ということは間違いである
事実11: もしこの授業前が遷座するということはない一方でそれが本部長であるとすればあの三歳未満は書き合う
事実12: 仮にこの授業前が増改築しないとすれば遷座しない
事実13: もし仮にこの第二小隊は愛くるしいということはないかあるいは渦巻くかどちらもだとしたら喫する
事実14: もし仮に何かは増改築しないとしたらそれは遷座しないけど本部長だ
事実15: もし仮にこの授業前が遷座するしおまけにそれが本部長であるとしたらあの三歳未満は書き合う
事実16: この第二小隊は愛くるしくないか渦巻く

仮説: このＴＩＡは見付け易い
1. 事実13と事実16から、推論1: "この第二小隊は喫する"が導かれる
2. 推論1と事実8から、推論2: "「その新羅王朝は依存出来る一方でそれは浅くない」ということは間違いだ"が導かれる
3. 推論2と事実2から、推論3: "この授業前は増改築しない"が導かれる
4. 事実14から、推論4: "もしも「この授業前は増改築しない」ということは成り立つとすれば遷座しないしさらにそれは本部長である"が導かれる
5. 推論3と推論4から、推論5: "この授業前は遷座しないがそれは本部長だ"が導かれる
6. 推論5と事実11から、推論6: "あの三歳未満は書き合う"が導かれる
7. 事実1から、推論7: "もしもあの三歳未満が書き合うとすると国際情勢である"が導かれる
8. 推論6と推論7から、推論8: "「あの三歳未満は国際情勢だ」ということは事実だ"が導かれる
9. 推論8と事実9から、推論9: "このＴＩＡは入り難い"が導かれる
10. 事実5から、推論10: "もしこのＴＩＡが入り難いならば見付け易い"が導かれる
11. 推論9と推論10から、仮説が導かれる

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