「もし仮に「隊長機である」ということは事実だとしたら黄色っぽくないがしかし断念する」物はある
fact1: もし仮にあるものは隊長機であるならばそれは黄色っぽいしそれに断念する fact2: 「隊長機であるとすれば黄色っぽいしその上断念する」物はある fact3: 「仮に隊長機だとしたら断念する」ものはある fact4: もしあの通読が隊長機だとしたら黄色っぽいししかもそれは断念する fact5: 「もしも一定金額であるならば四面鏡であるししかも流れる」物はある fact6: もしもある物が危ぶむとしたらそれはブロードバンドルータでないがしかし黄色っぽい fact7: もしもなにがしかのものが隊長機だとすれば断念する fact8: 「満足度であるとすれば穿孔方式な」物はある fact9: 「隊長機は黄色っぽくない一方で断念する」ということは確かだ fact10: もし仮にあの通読は隊長機であるとするとそれは断念する fact11: 「「もし物欲しいとしたら「躱すということはない一方で会計処理する」ということは本当である」ものはある」ということは誤りだということはない
fact9 -> int1: もしあの通読が隊長機であるとしたら黄色っぽくなくてしかも断念する; int1 -> hypothesis;
fact9 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
仮にこのナツメグが危ぶむとすればそれはブロードバンドルータでないが黄色っぽい
fact12 -> hypothesis;
$facts$ = fact1: もし仮にあるものは隊長機であるならばそれは黄色っぽいしそれに断念する fact2: 「隊長機であるとすれば黄色っぽいしその上断念する」物はある fact3: 「仮に隊長機だとしたら断念する」ものはある fact4: もしあの通読が隊長機だとしたら黄色っぽいししかもそれは断念する fact5: 「もしも一定金額であるならば四面鏡であるししかも流れる」物はある fact6: もしもある物が危ぶむとしたらそれはブロードバンドルータでないがしかし黄色っぽい fact7: もしもなにがしかのものが隊長機だとすれば断念する fact8: 「満足度であるとすれば穿孔方式な」物はある fact9: 「隊長機は黄色っぽくない一方で断念する」ということは確かだ fact10: もし仮にあの通読は隊長機であるとするとそれは断念する fact11: 「「もし物欲しいとしたら「躱すということはない一方で会計処理する」ということは本当である」ものはある」ということは誤りだということはない ; $hypothesis$ = 「もし仮に「隊長機である」ということは事実だとしたら黄色っぽくないがしかし断念する」物はある ; $proof$ = 
fact9 -> int1: もしあの通読が隊長機であるとしたら黄色っぽくなくてしかも断念する; int1 -> hypothesis; __PROVED__
事実1: もし仮にあるものは隊長機であるならばそれは黄色っぽいしそれに断念する
事実2: 「隊長機であるとすれば黄色っぽいしその上断念する」物はある
事実3: 「仮に隊長機だとしたら断念する」ものはある
事実4: もしあの通読が隊長機だとしたら黄色っぽいししかもそれは断念する
事実5: 「もしも一定金額であるならば四面鏡であるししかも流れる」物はある
事実6: もしもある物が危ぶむとしたらそれはブロードバンドルータでないがしかし黄色っぽい
事実7: もしもなにがしかのものが隊長機だとすれば断念する
事実8: 「満足度であるとすれば穿孔方式な」物はある
事実9: 「隊長機は黄色っぽくない一方で断念する」ということは確かだ
事実10: もし仮にあの通読は隊長機であるとするとそれは断念する
事実11: 「「もし物欲しいとしたら「躱すということはない一方で会計処理する」ということは本当である」ものはある」ということは誤りだということはない

仮説: 「もし仮に「隊長機である」ということは事実だとしたら黄色っぽくないがしかし断念する」物はある
1. 事実9から、推論1: "もしあの通読が隊長機であるとしたら黄色っぽくなくてしかも断念する"が導かれる
2. 推論1から、仮説が導かれる

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