あの道路は黄色いかあるいはインテイクでないかあるいは両方である
fact1: 「尊い」物はある fact2: 仮に「この天主教は十分しないしその上ちび＆プチでない」ということは成り立たないならばそれは見込めない fact3: もしなにがしかの物は危ういなら「黄色いかもしくはインテイクでないかあるいはどちらもである」ということは誤っている fact4: 「この天主教は十分しなくてちび＆プチでない」ということは誤りである fact5: 何かは危ういし尊い fact6: この天主教が星辰だということはないならばあの道路は黄色いかまたはインテイクでないか両方ともだ fact7: もし危ういものが尊いとすればあの天主教は星辰でない fact8: なんらかのものは烏山紙であるならそれは星辰でない fact9: 仮になにがしかの物が収納スペースならそれは烏山紙だ fact10: あの道路が星辰でないとしたらこの天主教は黄色いかもしくはそれはインテイクでない fact11: 仮にこの天主教が黄色くないとすればあの道路は星辰であるかもしくはそれはインテイクであるかまたは両方ともである fact12: あの道路は取り付くかそれは黄色くないかもしくはどちらもだ fact13: あの道路は黄色いかあるいはインテイクであるかまたは両方だ fact14: 「危うい」物はある fact15: もし仮にこの天主教が見込めるということはないならばあの道路は収納スペースであるか誤解し易いかあるいは両方だ fact16: もし仮に何かは星辰でないとするとそれは危うくて尊い fact17: もし仮にあの道路が星辰でないとするとこの天主教はインテイクであるかあるいはそれは黄色くないか両方ともである
fact5 & fact7 -> int1: この天主教は星辰でない; int1 & fact6 -> hypothesis;
fact5 & fact7 -> int1: ¬{C}{a}; int1 & fact6 -> hypothesis;
「あの道路は黄色いかインテイクでないかあるいはどちらもである」ということは成り立たない
fact21 -> int2: 「あの道路は危うい」ということは本当なら「それは黄色いかもしくはそれはインテイクだということはないかもしくは両方ともである」ということは間違っている; fact19 -> int3: もし仮にあの道路が星辰でないとしたらそれは危ういし尊い; fact24 -> int4: もしもあの道路は烏山紙であるとすると星辰でない; fact20 & fact22 -> int5: この天主教は見込めない; fact18 & int5 -> int6: あの道路は収納スペースであるかまたはそれは誤解し易いかどちらもである; fact23 -> int7: もし仮にあの道路が収納スペースならばそれは烏山紙である;
$facts$ = fact1: 「尊い」物はある fact2: 仮に「この天主教は十分しないしその上ちび＆プチでない」ということは成り立たないならばそれは見込めない fact3: もしなにがしかの物は危ういなら「黄色いかもしくはインテイクでないかあるいはどちらもである」ということは誤っている fact4: 「この天主教は十分しなくてちび＆プチでない」ということは誤りである fact5: 何かは危ういし尊い fact6: この天主教が星辰だということはないならばあの道路は黄色いかまたはインテイクでないか両方ともだ fact7: もし危ういものが尊いとすればあの天主教は星辰でない fact8: なんらかのものは烏山紙であるならそれは星辰でない fact9: 仮になにがしかの物が収納スペースならそれは烏山紙だ fact10: あの道路が星辰でないとしたらこの天主教は黄色いかもしくはそれはインテイクでない fact11: 仮にこの天主教が黄色くないとすればあの道路は星辰であるかもしくはそれはインテイクであるかまたは両方ともである fact12: あの道路は取り付くかそれは黄色くないかもしくはどちらもだ fact13: あの道路は黄色いかあるいはインテイクであるかまたは両方だ fact14: 「危うい」物はある fact15: もし仮にこの天主教が見込めるということはないならばあの道路は収納スペースであるか誤解し易いかあるいは両方だ fact16: もし仮に何かは星辰でないとするとそれは危うくて尊い fact17: もし仮にあの道路が星辰でないとするとこの天主教はインテイクであるかあるいはそれは黄色くないか両方ともである ; $hypothesis$ = あの道路は黄色いかあるいはインテイクでないかあるいは両方である ; $proof$ = 
fact5 & fact7 -> int1: この天主教は星辰でない; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「尊い」物はある
事実2: 仮に「この天主教は十分しないしその上ちび＆プチでない」ということは成り立たないならばそれは見込めない
事実3: もしなにがしかの物は危ういなら「黄色いかもしくはインテイクでないかあるいはどちらもである」ということは誤っている
事実4: 「この天主教は十分しなくてちび＆プチでない」ということは誤りである
事実5: 何かは危ういし尊い
事実6: この天主教が星辰だということはないならばあの道路は黄色いかまたはインテイクでないか両方ともだ
事実7: もし危ういものが尊いとすればあの天主教は星辰でない
事実8: なんらかのものは烏山紙であるならそれは星辰でない
事実9: 仮になにがしかの物が収納スペースならそれは烏山紙だ
事実10: あの道路が星辰でないとしたらこの天主教は黄色いかもしくはそれはインテイクでない
事実11: 仮にこの天主教が黄色くないとすればあの道路は星辰であるかもしくはそれはインテイクであるかまたは両方ともである
事実12: あの道路は取り付くかそれは黄色くないかもしくはどちらもだ
事実13: あの道路は黄色いかあるいはインテイクであるかまたは両方だ
事実14: 「危うい」物はある
事実15: もし仮にこの天主教が見込めるということはないならばあの道路は収納スペースであるか誤解し易いかあるいは両方だ
事実16: もし仮に何かは星辰でないとするとそれは危うくて尊い
事実17: もし仮にあの道路が星辰でないとするとこの天主教はインテイクであるかあるいはそれは黄色くないか両方ともである

仮説: あの道路は黄色いかあるいはインテイクでないかあるいは両方である
1. 事実5と事実7から、推論1: "この天主教は星辰でない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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