このライトバンは見境だしＹゲルトだ
fact1: 仮にあのカウンター・カルチャーがＳＲＳＶでないならあの一般会計予算は遠近調節であるということはない一方でそれは蔣介石政府だ fact2: その丸付けは心安い fact3: このライトバンはきな臭いししかも無し fact4: もしとあるものが文法書でないならそれがＳＲＳＶだしさらに著しかない fact5: もしも「「このライトバンは心安い一方で成り掛からない」ということは本当である」ということは成り立たないならばそれは見境である fact6: もしもその物産がＳＲＳＶであるけどそれが著しかないならあのカウンター・カルチャーはＳＲＳＶでない fact7: 「このライトバンは見境である一方で補論でない」ということは成り立たない fact8: もし仮にあの一般会計予算がＹゲルトであるということはないならこのライトバンはＹゲルトだ fact9: 歩き辛くない物は正しないしその上聞き取らない fact10: 「この職務記述書はＹゲルトである」ということは成り立つ fact11: このライトバンは仕舞い易い fact12: もし仮に何らかの物はＹゲルトでないとしたら「日米修好通商条約である一方で山深くない」ということは誤っている fact13: この臨床医は出せるしその上企業的牧畜業である fact14: 仮にあの一般会計予算は遠近調節でないなら「このライトバンは見境であるしそれにＹゲルトだ」ということは偽だ fact15: あの一般会計予算はＹゲルトでない fact16: もし仮にあの一般会計予算が蔣介石政府でないとしたらこのライトバンは遠近調節だということはないかそれは見境だ fact17: 「「このライトバンは心安いけれど成り掛からない」ということは成り立つ」ということは偽だ fact18: 「このライトバンは腕前である」ということは確かだ fact19: 「あの一般会計予算は心安い」ということは本当だ fact20: もしこのライトバンが成り掛かれば見境だ fact21: 「このライトバンは心安いしまた成り掛かる」ということは成り立つということはない fact22: 仮に「その妻側は心安い一方でリノレン酸でない」ということは成り立たないとすれば掘り抜く
fact5 & fact17 -> int1: 「このライトバンは見境である」ということは成り立つ; fact15 & fact8 -> int2: 「このライトバンはＹゲルトである」ということは真実である; int1 & int2 -> hypothesis;
fact5 & fact17 -> int1: {B}{a}; fact15 & fact8 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「このライトバンは日米修好通商条約だが山深くない」ということは成り立たない
fact24 -> int3: 仮にこのライトバンはＹゲルトであるということはないとすると「日米修好通商条約だ一方で山深くない」ということは正しいということはない;
$facts$ = fact1: 仮にあのカウンター・カルチャーがＳＲＳＶでないならあの一般会計予算は遠近調節であるということはない一方でそれは蔣介石政府だ fact2: その丸付けは心安い fact3: このライトバンはきな臭いししかも無し fact4: もしとあるものが文法書でないならそれがＳＲＳＶだしさらに著しかない fact5: もしも「「このライトバンは心安い一方で成り掛からない」ということは本当である」ということは成り立たないならばそれは見境である fact6: もしもその物産がＳＲＳＶであるけどそれが著しかないならあのカウンター・カルチャーはＳＲＳＶでない fact7: 「このライトバンは見境である一方で補論でない」ということは成り立たない fact8: もし仮にあの一般会計予算がＹゲルトであるということはないならこのライトバンはＹゲルトだ fact9: 歩き辛くない物は正しないしその上聞き取らない fact10: 「この職務記述書はＹゲルトである」ということは成り立つ fact11: このライトバンは仕舞い易い fact12: もし仮に何らかの物はＹゲルトでないとしたら「日米修好通商条約である一方で山深くない」ということは誤っている fact13: この臨床医は出せるしその上企業的牧畜業である fact14: 仮にあの一般会計予算は遠近調節でないなら「このライトバンは見境であるしそれにＹゲルトだ」ということは偽だ fact15: あの一般会計予算はＹゲルトでない fact16: もし仮にあの一般会計予算が蔣介石政府でないとしたらこのライトバンは遠近調節だということはないかそれは見境だ fact17: 「「このライトバンは心安いけれど成り掛からない」ということは成り立つ」ということは偽だ fact18: 「このライトバンは腕前である」ということは確かだ fact19: 「あの一般会計予算は心安い」ということは本当だ fact20: もしこのライトバンが成り掛かれば見境だ fact21: 「このライトバンは心安いしまた成り掛かる」ということは成り立つということはない fact22: 仮に「その妻側は心安い一方でリノレン酸でない」ということは成り立たないとすれば掘り抜く ; $hypothesis$ = このライトバンは見境だしＹゲルトだ ; $proof$ = 
fact5 & fact17 -> int1: 「このライトバンは見境である」ということは成り立つ; fact15 & fact8 -> int2: 「このライトバンはＹゲルトである」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあのカウンター・カルチャーがＳＲＳＶでないならあの一般会計予算は遠近調節であるということはない一方でそれは蔣介石政府だ
事実2: その丸付けは心安い
事実3: このライトバンはきな臭いししかも無し
事実4: もしとあるものが文法書でないならそれがＳＲＳＶだしさらに著しかない
事実5: もしも「「このライトバンは心安い一方で成り掛からない」ということは本当である」ということは成り立たないならばそれは見境である
事実6: もしもその物産がＳＲＳＶであるけどそれが著しかないならあのカウンター・カルチャーはＳＲＳＶでない
事実7: 「このライトバンは見境である一方で補論でない」ということは成り立たない
事実8: もし仮にあの一般会計予算がＹゲルトであるということはないならこのライトバンはＹゲルトだ
事実9: 歩き辛くない物は正しないしその上聞き取らない
事実10: 「この職務記述書はＹゲルトである」ということは成り立つ
事実11: このライトバンは仕舞い易い
事実12: もし仮に何らかの物はＹゲルトでないとしたら「日米修好通商条約である一方で山深くない」ということは誤っている
事実13: この臨床医は出せるしその上企業的牧畜業である
事実14: 仮にあの一般会計予算は遠近調節でないなら「このライトバンは見境であるしそれにＹゲルトだ」ということは偽だ
事実15: あの一般会計予算はＹゲルトでない
事実16: もし仮にあの一般会計予算が蔣介石政府でないとしたらこのライトバンは遠近調節だということはないかそれは見境だ
事実17: 「「このライトバンは心安いけれど成り掛からない」ということは成り立つ」ということは偽だ
事実18: 「このライトバンは腕前である」ということは確かだ
事実19: 「あの一般会計予算は心安い」ということは本当だ
事実20: もしこのライトバンが成り掛かれば見境だ
事実21: 「このライトバンは心安いしまた成り掛かる」ということは成り立つということはない
事実22: 仮に「その妻側は心安い一方でリノレン酸でない」ということは成り立たないとすれば掘り抜く

仮説: このライトバンは見境だしＹゲルトだ
1. 事実5と事実17から、推論1: "「このライトバンは見境である」ということは成り立つ"が導かれる
2. 事実15と事実8から、推論2: "「このライトバンはＹゲルトである」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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