その改革案は汲み出すし邪魔臭い
fact1: その改革案は素晴らしい fact2: その改革案は邪魔臭い fact3: 仮にあの枘穴は私以外だということはないなら「その新羅王は大学内部であるかあるいは湿っぽくない」ということは真実でない fact4: 仮に「なんらかのものは汲み出さない一方で邪魔臭い」ということは偽だとすれば「汲み出す」ということは成り立つ fact5: もし仮にその改革案が水臭いかあるいはそれは踏査するとしたら「そのスパは私以外でない」ということは確かである fact6: その出現頻度は低率でそれにそれは汲み出す fact7: とある物は大学内部でないなら「「それは汲み出すしおまけに邪魔臭い」ということは本当である」ということは成り立たない fact8: もしもなんらかのものは大学内部だとすると「それは汲み出さないしおまけにそれは邪魔臭い」ということは成り立たない fact9: もしその新羅王が丸っこくないとすればその改革案は水臭いか踏査するか両方だ fact10: その改革案は弛み無い fact11: 「その改革案は汲み出す」ということは事実だ fact12: 仮に「その新羅王は大学内部であるかもしくは湿っぽくないかあるいはどちらもだ」ということは真実でないなら「その改革案は大学内部であるということはない」ということは成り立つ fact13: 仮にその同憲法が私以外でないし更に踏査しないならあの枘穴は私以外でない fact14: この保険医は汲み出すし気まずい fact15: その出現頻度は邪魔臭いしおまけにそれは貧しい fact16: この俵形が水臭いとするとその同憲法は私以外でなくてまた踏査しない fact17: もしなんらかの物は私以外でないなら大学内部でまた湿っぽい fact18: あの枘穴は年齢表記だけれどそれは姓氏でない
fact11 & fact2 -> hypothesis;
fact11 & fact2 -> hypothesis;
「その改革案は汲み出すし邪魔臭い」ということは成り立たない
fact22 -> int1: 仮にその改革案は大学内部でないとすれば「汲み出すし更にそれは邪魔臭い」ということは誤っている;
$facts$ = fact1: その改革案は素晴らしい fact2: その改革案は邪魔臭い fact3: 仮にあの枘穴は私以外だということはないなら「その新羅王は大学内部であるかあるいは湿っぽくない」ということは真実でない fact4: 仮に「なんらかのものは汲み出さない一方で邪魔臭い」ということは偽だとすれば「汲み出す」ということは成り立つ fact5: もし仮にその改革案が水臭いかあるいはそれは踏査するとしたら「そのスパは私以外でない」ということは確かである fact6: その出現頻度は低率でそれにそれは汲み出す fact7: とある物は大学内部でないなら「「それは汲み出すしおまけに邪魔臭い」ということは本当である」ということは成り立たない fact8: もしもなんらかのものは大学内部だとすると「それは汲み出さないしおまけにそれは邪魔臭い」ということは成り立たない fact9: もしその新羅王が丸っこくないとすればその改革案は水臭いか踏査するか両方だ fact10: その改革案は弛み無い fact11: 「その改革案は汲み出す」ということは事実だ fact12: 仮に「その新羅王は大学内部であるかもしくは湿っぽくないかあるいはどちらもだ」ということは真実でないなら「その改革案は大学内部であるということはない」ということは成り立つ fact13: 仮にその同憲法が私以外でないし更に踏査しないならあの枘穴は私以外でない fact14: この保険医は汲み出すし気まずい fact15: その出現頻度は邪魔臭いしおまけにそれは貧しい fact16: この俵形が水臭いとするとその同憲法は私以外でなくてまた踏査しない fact17: もしなんらかの物は私以外でないなら大学内部でまた湿っぽい fact18: あの枘穴は年齢表記だけれどそれは姓氏でない ; $hypothesis$ = その改革案は汲み出すし邪魔臭い ; $proof$ = 
fact11 & fact2 -> hypothesis; __PROVED__
事実1: その改革案は素晴らしい
事実2: その改革案は邪魔臭い
事実3: 仮にあの枘穴は私以外だということはないなら「その新羅王は大学内部であるかあるいは湿っぽくない」ということは真実でない
事実4: 仮に「なんらかのものは汲み出さない一方で邪魔臭い」ということは偽だとすれば「汲み出す」ということは成り立つ
事実5: もし仮にその改革案が水臭いかあるいはそれは踏査するとしたら「そのスパは私以外でない」ということは確かである
事実6: その出現頻度は低率でそれにそれは汲み出す
事実7: とある物は大学内部でないなら「「それは汲み出すしおまけに邪魔臭い」ということは本当である」ということは成り立たない
事実8: もしもなんらかのものは大学内部だとすると「それは汲み出さないしおまけにそれは邪魔臭い」ということは成り立たない
事実9: もしその新羅王が丸っこくないとすればその改革案は水臭いか踏査するか両方だ
事実10: その改革案は弛み無い
事実11: 「その改革案は汲み出す」ということは事実だ
事実12: 仮に「その新羅王は大学内部であるかもしくは湿っぽくないかあるいはどちらもだ」ということは真実でないなら「その改革案は大学内部であるということはない」ということは成り立つ
事実13: 仮にその同憲法が私以外でないし更に踏査しないならあの枘穴は私以外でない
事実14: この保険医は汲み出すし気まずい
事実15: その出現頻度は邪魔臭いしおまけにそれは貧しい
事実16: この俵形が水臭いとするとその同憲法は私以外でなくてまた踏査しない
事実17: もしなんらかの物は私以外でないなら大学内部でまた湿っぽい
事実18: あの枘穴は年齢表記だけれどそれは姓氏でない

仮説: その改革案は汲み出すし邪魔臭い
1. 事実11と事実2から、仮説が導かれる

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