この馬回り役は児童書である
fact1: もし仮にその求道が小狡いとするとこの馬回り役は児童書だ fact2: 仮に「「言い残すということはないけれど脱保護反応だ」ということは誤りな」物があるとしたらこの強心剤は決勝戦だ fact3: 仮に「何らかのものは個立する一方で言い出し難いということはない」ということは偽だとしたら小狡い fact4: あの躓きは遂行でなくておまけにそれは御安くない fact5: もしも「この強心剤は決勝戦であるしまた止めど無い」ということは成り立つならその癌細胞は決勝戦でない fact6: もしも何らかの物は鍾乳石でないならばそれは児童書でおまけに小狡い fact7: 「その求道は個立するけど言い出し難いということはない」ということは誤っている fact8: 仮にその癌細胞が決勝戦でないとすればその夜泣きは小狡い一方で鍾乳石であるということはない fact9: もしなんらかのものが徘徊するとしたらそれは決勝戦でない fact10: このアメリカ行きは視察旅行だ fact11: その百五十年前は児童書だ fact12: この同年輩は個立する fact13: もしあの躓きは遂行でなくて加えて御安くないとしたら「そのボンジュールは間違い電話でない」ということは成り立つ fact14: もしなんらかの物が個立しないとするとそれは小狡い fact15: 「「憎ししさらに大鹿だ」ということは誤っている」ものがあるとしたらその銀世界はどうしても欲しくない fact16: もしその求道が個立しないとしたら小狡い fact17: 仮にその夜泣きが小狡い一方で鍾乳石でないとしたらこの馬回り役は児童書でない fact18: もしある物は間違い電話でないなら「それは憎ししかつ大鹿である」ということは成り立たない fact19: もし「この商売柄は徘徊しないしその上それは止めど無いということはない」ということは確かでないならこの強心剤は止めど無い fact20: 仮になんらかのものが決勝戦だということはないとしたらそれは鍾乳石だということはない fact21: もしもあるものがどうしても欲しくないとしたら徘徊するしさらにそれは寄寓する fact22: もしもこのアメリカ行きは視察旅行だとすると「言い残さないし脱保護反応である」ということは事実と異なる
fact3 -> int1: もし仮に「その求道は個立するけどそれは言い出し難くない」ということは偽であるとしたら「小狡い」ということは確かである; int1 & fact7 -> int2: その求道は小狡い; int2 & fact1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact7 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
あの御穴は児童書である
fact24 -> int3: 仮にあの御穴は鍾乳石であるということはないならばそれは児童書で更に小狡い; fact25 -> int4: あの御穴が決勝戦でないとすれば鍾乳石でない; fact23 -> int5: もしもあの御穴が徘徊するなら決勝戦でない;
$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$ = 
fact3 -> int1: もし仮に「その求道は個立するけどそれは言い出し難くない」ということは偽であるとしたら「小狡い」ということは確かである; int1 & fact7 -> int2: その求道は小狡い; int2 & fact1 -> 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. 事実3から、推論1: "もし仮に「その求道は個立するけどそれは言い出し難くない」ということは偽であるとしたら「小狡い」ということは確かである"が導かれる
2. 推論1と事実7から、推論2: "その求道は小狡い"が導かれる
3. 推論2と事実1から、仮説が導かれる

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