この弁えはファイル記述子であるしまた幼い
fact1: もし「この弁えは全うしなくてそれは研究しない」ということは偽であるならそれは研究する fact2: 仮にその小屋組材が淀み無いとしたらそれは絡め合う fact3: この弁えはファイル記述子だ fact4: とあるものが絡め合うならそれは大豆サポニンである fact5: この弁えは幼い fact6: この弁えが若者らしくないとすればそれは一回転するしその上大豆サポニンだ fact7: 仮に「何らかのものは全うしないけどそれは一回転する」ということは嘘であるとするとそれは一回転しない fact8: もし仮にこの弁えは絡め合うとすれば「全うしないし研究するということはない」ということは誤っている fact9: この弁えは絡め合うしおまけに淀み無い fact10: もし仮に何らかの物が一回転するとすればそれは幼いということはない fact11: 「この弁えは手配出来る」ということは正しいなら若者らしくない fact12: もしも「その小屋組材は大豆サポニンだ」ということは確かであるとしたらこの弁えは大豆サポニンでない fact13: 何かは大豆サポニンでないならば「全うしないけど一回転する」ということは事実でない fact14: 幼いということはない物は捌きでファイル記述子だ fact15: 「若者らしいということはない」ものはある
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
「この弁えはファイル記述子であるし幼い」ということは成り立たない
fact18 -> int1: 仮に「この弁えは全うしないけれど一回転する」ということは事実と異なるとしたらそれは一回転しない; fact19 -> int2: この弁えは大豆サポニンでないとすれば「全うしないし加えて一回転する」ということは嘘だ; fact21 -> int3: 仮にその小屋組材が絡め合うとすればそれは大豆サポニンである;
$facts$ = fact1: もし「この弁えは全うしなくてそれは研究しない」ということは偽であるならそれは研究する fact2: 仮にその小屋組材が淀み無いとしたらそれは絡め合う fact3: この弁えはファイル記述子だ fact4: とあるものが絡め合うならそれは大豆サポニンである fact5: この弁えは幼い fact6: この弁えが若者らしくないとすればそれは一回転するしその上大豆サポニンだ fact7: 仮に「何らかのものは全うしないけどそれは一回転する」ということは嘘であるとするとそれは一回転しない fact8: もし仮にこの弁えは絡め合うとすれば「全うしないし研究するということはない」ということは誤っている fact9: この弁えは絡め合うしおまけに淀み無い fact10: もし仮に何らかの物が一回転するとすればそれは幼いということはない fact11: 「この弁えは手配出来る」ということは正しいなら若者らしくない fact12: もしも「その小屋組材は大豆サポニンだ」ということは確かであるとしたらこの弁えは大豆サポニンでない fact13: 何かは大豆サポニンでないならば「全うしないけど一回転する」ということは事実でない fact14: 幼いということはない物は捌きでファイル記述子だ fact15: 「若者らしいということはない」ものはある ; $hypothesis$ = この弁えはファイル記述子であるしまた幼い ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もし「この弁えは全うしなくてそれは研究しない」ということは偽であるならそれは研究する
事実2: 仮にその小屋組材が淀み無いとしたらそれは絡め合う
事実3: この弁えはファイル記述子だ
事実4: とあるものが絡め合うならそれは大豆サポニンである
事実5: この弁えは幼い
事実6: この弁えが若者らしくないとすればそれは一回転するしその上大豆サポニンだ
事実7: 仮に「何らかのものは全うしないけどそれは一回転する」ということは嘘であるとするとそれは一回転しない
事実8: もし仮にこの弁えは絡め合うとすれば「全うしないし研究するということはない」ということは誤っている
事実9: この弁えは絡め合うしおまけに淀み無い
事実10: もし仮に何らかの物が一回転するとすればそれは幼いということはない
事実11: 「この弁えは手配出来る」ということは正しいなら若者らしくない
事実12: もしも「その小屋組材は大豆サポニンだ」ということは確かであるとしたらこの弁えは大豆サポニンでない
事実13: 何かは大豆サポニンでないならば「全うしないけど一回転する」ということは事実でない
事実14: 幼いということはない物は捌きでファイル記述子だ
事実15: 「若者らしいということはない」ものはある

仮説: この弁えはファイル記述子であるしまた幼い
1. 事実3と事実5から、仮説が導かれる

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