「あのバイオリニストは悔しいということはないが混成する」ということは成り立たない
fact1: もし仮に「その略語は近似値でないがしかし恥ずかしい」ということは事実であるということはないならその処理工場は御越しに成る fact2: 新生産方法は御越しに成る fact3: この印刷工場は俗っぽいとすると「その略語は近似値であるし更に恥ずかしい」ということは偽だ fact4: 攻守同盟はギリシャ本土だ fact5: その処理工場が御越しに成るならあのバイオリニストは悔しくない一方で混成する fact6: その処理工場は洗い終わらなくてその上それは煩がらない fact7: 仮にその略語が書き為さらなくておまけにそれが探知しないならこの印刷工場は攻守同盟だ fact8: このスタッフ全員は探知するがそれは心安くない fact9: もしとあるものはギリシャ本土ならば「新生産方法である」ということは成り立つ fact10: もしもとある物が御越しに成らないとするとそれは俗っぽくない fact11: もしもその略語が近似値だとすればあの処理工場は御越しに成る fact12: 「あのバイオリニストは悔しくない」ということは真実だ fact13: この印刷工場は俗っぽい fact14: もしこの印刷工場は俗っぽくないとすると「あのバイオリニストは悔しくない一方で混成する」ということは本当でない fact15: 仮にその処理工場が洗い終わらないし加えて煩がるということはないとすればその略語は書き為さらない fact16: もし仮に「このスタッフ全員は探知するけれど心安くない」ということは事実であるとしたらその略語は探知しない fact17: もしある物が御越しに成るかそれは俗っぽいかまたは両方ともだとするとそれは混成しない fact18: この印刷工場は俗っぽいなら「その略語は近似値でないけどそれは恥ずかしい」ということは間違っている fact19: 仮にその処理工場が御越しに成るとするとあのバイオリニストは悔しくない fact20: もしあのバイオリニストが俗っぽいとするとその処理工場は混成しないが御越しに成る
fact18 & fact13 -> int1: 「その略語は近似値でないがしかし恥ずかしい」ということは事実と異なる; int1 & fact1 -> int2: その処理工場は御越しに成る; int2 & fact5 -> hypothesis;
「あのバイオリニストは悔しくないがしかし混成する」ということは間違っている
fact21 -> int3: もし仮にこの印刷工場が御越しに成らないとしたら俗っぽくない;
$facts$ = fact1: もし仮に「その略語は近似値でないがしかし恥ずかしい」ということは事実であるということはないならその処理工場は御越しに成る fact2: 新生産方法は御越しに成る fact3: この印刷工場は俗っぽいとすると「その略語は近似値であるし更に恥ずかしい」ということは偽だ fact4: 攻守同盟はギリシャ本土だ fact5: その処理工場が御越しに成るならあのバイオリニストは悔しくない一方で混成する fact6: その処理工場は洗い終わらなくてその上それは煩がらない fact7: 仮にその略語が書き為さらなくておまけにそれが探知しないならこの印刷工場は攻守同盟だ fact8: このスタッフ全員は探知するがそれは心安くない fact9: もしとあるものはギリシャ本土ならば「新生産方法である」ということは成り立つ fact10: もしもとある物が御越しに成らないとするとそれは俗っぽくない fact11: もしもその略語が近似値だとすればあの処理工場は御越しに成る fact12: 「あのバイオリニストは悔しくない」ということは真実だ fact13: この印刷工場は俗っぽい fact14: もしこの印刷工場は俗っぽくないとすると「あのバイオリニストは悔しくない一方で混成する」ということは本当でない fact15: 仮にその処理工場が洗い終わらないし加えて煩がるということはないとすればその略語は書き為さらない fact16: もし仮に「このスタッフ全員は探知するけれど心安くない」ということは事実であるとしたらその略語は探知しない fact17: もしある物が御越しに成るかそれは俗っぽいかまたは両方ともだとするとそれは混成しない fact18: この印刷工場は俗っぽいなら「その略語は近似値でないけどそれは恥ずかしい」ということは間違っている fact19: 仮にその処理工場が御越しに成るとするとあのバイオリニストは悔しくない fact20: もしあのバイオリニストが俗っぽいとするとその処理工場は混成しないが御越しに成る ; $hypothesis$ = 「あのバイオリニストは悔しいということはないが混成する」ということは成り立たない ; $proof$ = 
fact18 & fact13 -> int1: 「その略語は近似値でないがしかし恥ずかしい」ということは事実と異なる; int1 & fact1 -> int2: その処理工場は御越しに成る; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「その略語は近似値でないがしかし恥ずかしい」ということは事実であるということはないならその処理工場は御越しに成る
事実2: 新生産方法は御越しに成る
事実3: この印刷工場は俗っぽいとすると「その略語は近似値であるし更に恥ずかしい」ということは偽だ
事実4: 攻守同盟はギリシャ本土だ
事実5: その処理工場が御越しに成るならあのバイオリニストは悔しくない一方で混成する
事実6: その処理工場は洗い終わらなくてその上それは煩がらない
事実7: 仮にその略語が書き為さらなくておまけにそれが探知しないならこの印刷工場は攻守同盟だ
事実8: このスタッフ全員は探知するがそれは心安くない
事実9: もしとあるものはギリシャ本土ならば「新生産方法である」ということは成り立つ
事実10: もしもとある物が御越しに成らないとするとそれは俗っぽくない
事実11: もしもその略語が近似値だとすればあの処理工場は御越しに成る
事実12: 「あのバイオリニストは悔しくない」ということは真実だ
事実13: この印刷工場は俗っぽい
事実14: もしこの印刷工場は俗っぽくないとすると「あのバイオリニストは悔しくない一方で混成する」ということは本当でない
事実15: 仮にその処理工場が洗い終わらないし加えて煩がるということはないとすればその略語は書き為さらない
事実16: もし仮に「このスタッフ全員は探知するけれど心安くない」ということは事実であるとしたらその略語は探知しない
事実17: もしある物が御越しに成るかそれは俗っぽいかまたは両方ともだとするとそれは混成しない
事実18: この印刷工場は俗っぽいなら「その略語は近似値でないけどそれは恥ずかしい」ということは間違っている
事実19: 仮にその処理工場が御越しに成るとするとあのバイオリニストは悔しくない
事実20: もしあのバイオリニストが俗っぽいとするとその処理工場は混成しないが御越しに成る

仮説: 「あのバイオリニストは悔しいということはないが混成する」ということは成り立たない
1. 事実18と事実13から、推論1: "「その略語は近似値でないがしかし恥ずかしい」ということは事実と異なる"が導かれる
2. 推論1と事実1から、推論2: "その処理工場は御越しに成る"が導かれる
3. 推論2と事実5から、仮説が否定される

よって、仮説が否定されました。