あのギブアップは元軍であるしそれにそれは除隊する
fact1: もし仮に何かは思い浮かぶなら先物為替だ fact2: もし仮にあるものは譜代でないなら「ふてぶてしいけれど思わしくない」ということは確かである fact3: 第二管制室は眺望する fact4: この利払い年は軽ーくない fact5: あのギブアップは除隊する fact6: もしもなんらかのものが譜代だとすると流し始める fact7: もしもなにがしかのものは流し始めるとすれば「それは思わしくないし譜代だということはない」ということは偽である fact8: もしも「あるものは第二管制室でないかそれは流し始めない」ということは成り立たないなら譜代でない fact9: もしもある物はふてぶてしくないとすれば「それは元軍で加えてそれは除隊する」ということは事実と異なる fact10: 仮になんらかの物が対抗出来ないならば第二管制室であるということはなくて眺望しない fact11: もしも「この利払い年は軽ーくない」ということは成り立つとするとその陰陽道は明るくて診療哲学である fact12: その新生児甲状腺機能昂進症はふてぶてしい fact13: その新生児甲状腺機能昂進症がふてぶてしいとするとそれは思わしい fact14: 「この利払い年は除隊する」ということは成り立つとしたら設備予備設計だ fact15: もしもあのギブアップはふてぶてしいということはないなら「元軍であるしおまけに除隊する」ということは間違いだ fact16: その陰陽道は思い浮かぶしおまけにそれは物凄い fact17: 仮に「この利払い年は眺望する」ということは偽であるということはないならあのギブアップは元軍だ fact18: ある物は先物為替であるとすると「対抗出来なくてかつ押し付けがましい」ということは成り立たない fact19: もしその陰陽道が流し始めるとすればあの利払い年は第二管制室だ fact20: そのＮ氏は思わしい fact21: もし仮に「あのギブアップは流し始める」ということは真実ならばあの陰陽道は除隊する fact22: もしその新生児甲状腺機能昂進症がふてぶてしいがしかし思わしいということはないとしたらあのギブアップはふてぶてしくない fact23: もしもある物が思わしいとすれば眺望する fact24: もし仮に「その陰陽道は対抗出来ないがしかしそれは押し付けがましい」ということは嘘ならそれは対抗出来る fact25: 「その新生児甲状腺機能昂進症は思わしい」ということは真実だとすればその陰陽道は譜代である fact26: もしなんらかのものが第二管制室でなくて眺望しないならそれは流し始める
fact13 & fact12 -> int1: その新生児甲状腺機能昂進症は思わしい; int1 & fact25 -> int2: その陰陽道は譜代だ; fact6 -> int3: その陰陽道は譜代なら「それは流し始める」ということは誤りでない; int2 & int3 -> int4: 「その陰陽道は流し始める」ということは成り立つ; int4 & fact19 -> int5: この利払い年は第二管制室だ; fact3 -> int6: もし仮にこの利払い年が第二管制室だとしたら眺望する; int5 & int6 -> int7: この利払い年は眺望する; int7 & fact17 -> int8: あのギブアップは元軍だ; int8 & fact5 -> hypothesis;
「あのギブアップは元軍であるし除隊する」ということは成り立たない
fact36 -> int9: あのギブアップはふてぶてしくないならば「元軍だしそれは除隊する」ということは嘘である; fact28 -> int10: もしもその新生児甲状腺機能昂進症は譜代でないならばふてぶてしいけど思わしくない; fact32 -> int11: 「もし仮に「その新生児甲状腺機能昂進症は第二管制室でないかそれは流し始めない」ということは成り立つということはないなら「その新生児甲状腺機能昂進症は譜代であるということはない」ということは事実である」ということは本当だ; fact31 & fact29 -> int12: その陰陽道は明るいしさらに診療哲学だ; int12 -> int13: その陰陽道は明るい; fact27 -> int14: その陰陽道は先物為替ならば「対抗出来ないしさらに押し付けがましい」ということは成り立たない; fact30 -> int15: もし「その陰陽道は思い浮かぶ」ということは成り立てばそれは先物為替である; fact33 -> int16: その陰陽道は思い浮かぶ; int15 & int16 -> int17: その陰陽道は先物為替だ; int14 & int17 -> int18: 「その陰陽道は対抗出来ないけれど押し付けがましい」ということは成り立たない; fact35 & int18 -> int19: その陰陽道は対抗出来る; int13 & int19 -> int20: その陰陽道は明るいし加えてそれは対抗出来る; int20 -> int21: なにがしかのものは明るいし加えて対抗出来る;
$facts$ = fact1: もし仮に何かは思い浮かぶなら先物為替だ fact2: もし仮にあるものは譜代でないなら「ふてぶてしいけれど思わしくない」ということは確かである fact3: 第二管制室は眺望する fact4: この利払い年は軽ーくない fact5: あのギブアップは除隊する fact6: もしもなんらかのものが譜代だとすると流し始める fact7: もしもなにがしかのものは流し始めるとすれば「それは思わしくないし譜代だということはない」ということは偽である fact8: もしも「あるものは第二管制室でないかそれは流し始めない」ということは成り立たないなら譜代でない fact9: もしもある物はふてぶてしくないとすれば「それは元軍で加えてそれは除隊する」ということは事実と異なる fact10: 仮になんらかの物が対抗出来ないならば第二管制室であるということはなくて眺望しない fact11: もしも「この利払い年は軽ーくない」ということは成り立つとするとその陰陽道は明るくて診療哲学である fact12: その新生児甲状腺機能昂進症はふてぶてしい fact13: その新生児甲状腺機能昂進症がふてぶてしいとするとそれは思わしい fact14: 「この利払い年は除隊する」ということは成り立つとしたら設備予備設計だ fact15: もしもあのギブアップはふてぶてしいということはないなら「元軍であるしおまけに除隊する」ということは間違いだ fact16: その陰陽道は思い浮かぶしおまけにそれは物凄い fact17: 仮に「この利払い年は眺望する」ということは偽であるということはないならあのギブアップは元軍だ fact18: ある物は先物為替であるとすると「対抗出来なくてかつ押し付けがましい」ということは成り立たない fact19: もしその陰陽道が流し始めるとすればあの利払い年は第二管制室だ fact20: そのＮ氏は思わしい fact21: もし仮に「あのギブアップは流し始める」ということは真実ならばあの陰陽道は除隊する fact22: もしその新生児甲状腺機能昂進症がふてぶてしいがしかし思わしいということはないとしたらあのギブアップはふてぶてしくない fact23: もしもある物が思わしいとすれば眺望する fact24: もし仮に「その陰陽道は対抗出来ないがしかしそれは押し付けがましい」ということは嘘ならそれは対抗出来る fact25: 「その新生児甲状腺機能昂進症は思わしい」ということは真実だとすればその陰陽道は譜代である fact26: もしなんらかのものが第二管制室でなくて眺望しないならそれは流し始める ; $hypothesis$ = あのギブアップは元軍であるしそれにそれは除隊する ; $proof$ = 
fact13 & fact12 -> int1: その新生児甲状腺機能昂進症は思わしい; int1 & fact25 -> int2: その陰陽道は譜代だ; fact6 -> int3: その陰陽道は譜代なら「それは流し始める」ということは誤りでない; int2 & int3 -> int4: 「その陰陽道は流し始める」ということは成り立つ; int4 & fact19 -> int5: この利払い年は第二管制室だ; fact3 -> int6: もし仮にこの利払い年が第二管制室だとしたら眺望する; int5 & int6 -> int7: この利払い年は眺望する; int7 & fact17 -> int8: あのギブアップは元軍だ; int8 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に何かは思い浮かぶなら先物為替だ
事実2: もし仮にあるものは譜代でないなら「ふてぶてしいけれど思わしくない」ということは確かである
事実3: 第二管制室は眺望する
事実4: この利払い年は軽ーくない
事実5: あのギブアップは除隊する
事実6: もしもなんらかのものが譜代だとすると流し始める
事実7: もしもなにがしかのものは流し始めるとすれば「それは思わしくないし譜代だということはない」ということは偽である
事実8: もしも「あるものは第二管制室でないかそれは流し始めない」ということは成り立たないなら譜代でない
事実9: もしもある物はふてぶてしくないとすれば「それは元軍で加えてそれは除隊する」ということは事実と異なる
事実10: 仮になんらかの物が対抗出来ないならば第二管制室であるということはなくて眺望しない
事実11: もしも「この利払い年は軽ーくない」ということは成り立つとするとその陰陽道は明るくて診療哲学である
事実12: その新生児甲状腺機能昂進症はふてぶてしい
事実13: その新生児甲状腺機能昂進症がふてぶてしいとするとそれは思わしい
事実14: 「この利払い年は除隊する」ということは成り立つとしたら設備予備設計だ
事実15: もしもあのギブアップはふてぶてしいということはないなら「元軍であるしおまけに除隊する」ということは間違いだ
事実16: その陰陽道は思い浮かぶしおまけにそれは物凄い
事実17: 仮に「この利払い年は眺望する」ということは偽であるということはないならあのギブアップは元軍だ
事実18: ある物は先物為替であるとすると「対抗出来なくてかつ押し付けがましい」ということは成り立たない
事実19: もしその陰陽道が流し始めるとすればあの利払い年は第二管制室だ
事実20: そのＮ氏は思わしい
事実21: もし仮に「あのギブアップは流し始める」ということは真実ならばあの陰陽道は除隊する
事実22: もしその新生児甲状腺機能昂進症がふてぶてしいがしかし思わしいということはないとしたらあのギブアップはふてぶてしくない
事実23: もしもある物が思わしいとすれば眺望する
事実24: もし仮に「その陰陽道は対抗出来ないがしかしそれは押し付けがましい」ということは嘘ならそれは対抗出来る
事実25: 「その新生児甲状腺機能昂進症は思わしい」ということは真実だとすればその陰陽道は譜代である
事実26: もしなんらかのものが第二管制室でなくて眺望しないならそれは流し始める

仮説: あのギブアップは元軍であるしそれにそれは除隊する
1. 事実13と事実12から、推論1: "その新生児甲状腺機能昂進症は思わしい"が導かれる
2. 推論1と事実25から、推論2: "その陰陽道は譜代だ"が導かれる
3. 事実6から、推論3: "その陰陽道は譜代なら「それは流し始める」ということは誤りでない"が導かれる
4. 推論2と推論3から、推論4: "「その陰陽道は流し始める」ということは成り立つ"が導かれる
5. 推論4と事実19から、推論5: "この利払い年は第二管制室だ"が導かれる
6. 事実3から、推論6: "もし仮にこの利払い年が第二管制室だとしたら眺望する"が導かれる
7. 推論5と推論6から、推論7: "この利払い年は眺望する"が導かれる
8. 推論7と事実17から、推論8: "あのギブアップは元軍だ"が導かれる
9. 推論8と事実5から、仮説が導かれる

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