このバンクは油菜科野菜でない
fact1: その丹波家がされ易いとすればこの系統樹は回折強度である一方で事業エリアでない fact2: この系統樹が回折強度だけどそれが事業エリアでないとしたらこのバンクは回折強度でない fact3: その筋組織は油菜科野菜でない fact4: もしこのバンクが処理すればこの系統樹は油菜科野菜でない fact5: 仮になんらかの物は基礎的知識なら「処理しないがしかし孵る」ということは間違っている fact6: 仮にこの系統樹が輝かしいならこのバンクは油菜科野菜でない fact7: 「この系統樹は油菜科野菜だ」ということは真実ならばこのバンクは処理しない fact8: 「この系統樹は輝かしくないけれど処理する」ということは嘘であるとするとこのバンクは油菜科野菜でない fact9: 「この系統樹は処理しないけれど油菜科野菜である」ということは成り立たないならこのバンクは輝かしくない fact10: 「このバンクは油菜科野菜であるし加えて考え易い」ということは間違いだ fact11: もしもなにがしかのものが回折強度でないとするとそれは油菜科野菜であるしかつそれは基礎的知識である fact12: 仮に「このバンクは処理するということはないけれど輝かしい」ということは事実と異なればこの系統樹は油菜科野菜でない fact13: 「この系統樹は輝かしくないけど処理する」ということは事実でない fact14: 「この系統樹は輝かしいしかつ処理する」ということは成り立たない fact15: 「もし「「この系統樹は油菜科野菜でない一方で処理する」ということは間違いである」ということは本当ならこのバンクは輝かしくない」ということは偽でない
fact8 & fact13 -> hypothesis;
fact8 & fact13 -> hypothesis;
このバンクは油菜科野菜だ
fact18 -> int1: もしこのバンクは回折強度でないなら油菜科野菜であるしそれに基礎的知識である;
$facts$ = fact1: その丹波家がされ易いとすればこの系統樹は回折強度である一方で事業エリアでない fact2: この系統樹が回折強度だけどそれが事業エリアでないとしたらこのバンクは回折強度でない fact3: その筋組織は油菜科野菜でない fact4: もしこのバンクが処理すればこの系統樹は油菜科野菜でない fact5: 仮になんらかの物は基礎的知識なら「処理しないがしかし孵る」ということは間違っている fact6: 仮にこの系統樹が輝かしいならこのバンクは油菜科野菜でない fact7: 「この系統樹は油菜科野菜だ」ということは真実ならばこのバンクは処理しない fact8: 「この系統樹は輝かしくないけれど処理する」ということは嘘であるとするとこのバンクは油菜科野菜でない fact9: 「この系統樹は処理しないけれど油菜科野菜である」ということは成り立たないならこのバンクは輝かしくない fact10: 「このバンクは油菜科野菜であるし加えて考え易い」ということは間違いだ fact11: もしもなにがしかのものが回折強度でないとするとそれは油菜科野菜であるしかつそれは基礎的知識である fact12: 仮に「このバンクは処理するということはないけれど輝かしい」ということは事実と異なればこの系統樹は油菜科野菜でない fact13: 「この系統樹は輝かしくないけど処理する」ということは事実でない fact14: 「この系統樹は輝かしいしかつ処理する」ということは成り立たない fact15: 「もし「「この系統樹は油菜科野菜でない一方で処理する」ということは間違いである」ということは本当ならこのバンクは輝かしくない」ということは偽でない ; $hypothesis$ = このバンクは油菜科野菜でない ; $proof$ = 
fact8 & fact13 -> hypothesis; __PROVED__
事実1: その丹波家がされ易いとすればこの系統樹は回折強度である一方で事業エリアでない
事実2: この系統樹が回折強度だけどそれが事業エリアでないとしたらこのバンクは回折強度でない
事実3: その筋組織は油菜科野菜でない
事実4: もしこのバンクが処理すればこの系統樹は油菜科野菜でない
事実5: 仮になんらかの物は基礎的知識なら「処理しないがしかし孵る」ということは間違っている
事実6: 仮にこの系統樹が輝かしいならこのバンクは油菜科野菜でない
事実7: 「この系統樹は油菜科野菜だ」ということは真実ならばこのバンクは処理しない
事実8: 「この系統樹は輝かしくないけれど処理する」ということは嘘であるとするとこのバンクは油菜科野菜でない
事実9: 「この系統樹は処理しないけれど油菜科野菜である」ということは成り立たないならこのバンクは輝かしくない
事実10: 「このバンクは油菜科野菜であるし加えて考え易い」ということは間違いだ
事実11: もしもなにがしかのものが回折強度でないとするとそれは油菜科野菜であるしかつそれは基礎的知識である
事実12: 仮に「このバンクは処理するということはないけれど輝かしい」ということは事実と異なればこの系統樹は油菜科野菜でない
事実13: 「この系統樹は輝かしくないけど処理する」ということは事実でない
事実14: 「この系統樹は輝かしいしかつ処理する」ということは成り立たない
事実15: 「もし「「この系統樹は油菜科野菜でない一方で処理する」ということは間違いである」ということは本当ならこのバンクは輝かしくない」ということは偽でない

仮説: このバンクは油菜科野菜でない
1. 事実8と事実13から、仮説が導かれる

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