あの御気付きは粉飾しない
fact1: 仮に「「この通信科は上昇し易くて遠山君だ」ということは本当だ」ということは偽だとしたらそれは賢いということはない fact2: もしもこの御陰参りが御勧めるということはないとすればこの上達法は投獄だということはない fact3: もしも何らかの物が御勧めないならば投獄で加藤神社である fact4: 加藤神社は粉飾する fact5: もしとある物が加藤神社でないならあの御気付きは投獄である fact6: 「あの獅子船は御勧める」ということは本当である fact7: 仮にこの御陰参りが膝枕しないしその上感じ得ないならこの上達法はかわゆくない fact8: もし仮に何らかの物は粉飾しないなら「素っ気なくて御勧める」ということは成り立たない fact9: 「「加藤神社でない」ということは成り立つ」物はある fact10: なにがしかの物は加藤神社だ fact11: もしもとあるものが賢くないとしたらそれは粉飾するということはない fact12: この御陰参りは膝枕しないし感じ得ない fact13: もし仮にこの上達法が狙われ易くて上昇し易いとすればその酒菜は上昇し易いということはない fact14: 「あの御気付きは御勧める」ということは本当である fact15: この上達法がかわゆくないなら遠山君で上昇し易い fact16: もしこの上達法は投獄でないとすれば「その酒菜は市場システムであるしそれは加藤神社だ」ということは誤りだ fact17: もし仮に「その酒菜は上昇し易いということはない」ということは成り立つとすると「「それは素っ気なくない一方で賢い」ということは事実だ」ということは事実でない fact18: この上達法は狙われ易い fact19: もし仮にあの御気付きは御勧めるしかつ投獄であるならば粉飾しない fact20: 仮に「その酒菜は市場システムだしさらに加藤神社だ」ということは成り立たないなら「あの御気付きは市場システムでない」ということは本当である
fact9 & fact5 -> int1: あの御気付きは投獄である; int1 & fact14 -> int2: あの御気付きは御勧めるし加えてそれは投獄だ; int2 & fact19 -> hypothesis;
あの御気付きは粉飾する
fact27 -> int3: あの御気付きは加藤神社であるなら粉飾する; fact28 -> int4: もしあの御気付きが御勧めないとすればそれは投獄でかつ加藤神社だ; fact25 & fact26 -> int5: この上達法はかわゆくない; fact22 & int5 -> int6: この上達法は遠山君であるし加えてそれは上昇し易い; int6 -> int7: 「この上達法は上昇し易い」ということは成り立つ; fact24 & int7 -> int8: この上達法が狙われ易いしその上それは上昇し易い; fact21 & int8 -> int9: その酒菜は上昇し易くない; fact23 & int9 -> int10: 「その酒菜は素っ気なくないけど賢い」ということは誤りだ; int10 -> int11: 「「素っ気なくないけど賢い」ということは事実と異なる」物はある;
$facts$ = fact1: 仮に「「この通信科は上昇し易くて遠山君だ」ということは本当だ」ということは偽だとしたらそれは賢いということはない fact2: もしもこの御陰参りが御勧めるということはないとすればこの上達法は投獄だということはない fact3: もしも何らかの物が御勧めないならば投獄で加藤神社である fact4: 加藤神社は粉飾する fact5: もしとある物が加藤神社でないならあの御気付きは投獄である fact6: 「あの獅子船は御勧める」ということは本当である fact7: 仮にこの御陰参りが膝枕しないしその上感じ得ないならこの上達法はかわゆくない fact8: もし仮に何らかの物は粉飾しないなら「素っ気なくて御勧める」ということは成り立たない fact9: 「「加藤神社でない」ということは成り立つ」物はある fact10: なにがしかの物は加藤神社だ fact11: もしもとあるものが賢くないとしたらそれは粉飾するということはない fact12: この御陰参りは膝枕しないし感じ得ない fact13: もし仮にこの上達法が狙われ易くて上昇し易いとすればその酒菜は上昇し易いということはない fact14: 「あの御気付きは御勧める」ということは本当である fact15: この上達法がかわゆくないなら遠山君で上昇し易い fact16: もしこの上達法は投獄でないとすれば「その酒菜は市場システムであるしそれは加藤神社だ」ということは誤りだ fact17: もし仮に「その酒菜は上昇し易いということはない」ということは成り立つとすると「「それは素っ気なくない一方で賢い」ということは事実だ」ということは事実でない fact18: この上達法は狙われ易い fact19: もし仮にあの御気付きは御勧めるしかつ投獄であるならば粉飾しない fact20: 仮に「その酒菜は市場システムだしさらに加藤神社だ」ということは成り立たないなら「あの御気付きは市場システムでない」ということは本当である ; $hypothesis$ = あの御気付きは粉飾しない ; $proof$ = 
fact9 & fact5 -> int1: あの御気付きは投獄である; int1 & fact14 -> int2: あの御気付きは御勧めるし加えてそれは投獄だ; int2 & fact19 -> hypothesis; __PROVED__
事実1: 仮に「「この通信科は上昇し易くて遠山君だ」ということは本当だ」ということは偽だとしたらそれは賢いということはない
事実2: もしもこの御陰参りが御勧めるということはないとすればこの上達法は投獄だということはない
事実3: もしも何らかの物が御勧めないならば投獄で加藤神社である
事実4: 加藤神社は粉飾する
事実5: もしとある物が加藤神社でないならあの御気付きは投獄である
事実6: 「あの獅子船は御勧める」ということは本当である
事実7: 仮にこの御陰参りが膝枕しないしその上感じ得ないならこの上達法はかわゆくない
事実8: もし仮に何らかの物は粉飾しないなら「素っ気なくて御勧める」ということは成り立たない
事実9: 「「加藤神社でない」ということは成り立つ」物はある
事実10: なにがしかの物は加藤神社だ
事実11: もしもとあるものが賢くないとしたらそれは粉飾するということはない
事実12: この御陰参りは膝枕しないし感じ得ない
事実13: もし仮にこの上達法が狙われ易くて上昇し易いとすればその酒菜は上昇し易いということはない
事実14: 「あの御気付きは御勧める」ということは本当である
事実15: この上達法がかわゆくないなら遠山君で上昇し易い
事実16: もしこの上達法は投獄でないとすれば「その酒菜は市場システムであるしそれは加藤神社だ」ということは誤りだ
事実17: もし仮に「その酒菜は上昇し易いということはない」ということは成り立つとすると「「それは素っ気なくない一方で賢い」ということは事実だ」ということは事実でない
事実18: この上達法は狙われ易い
事実19: もし仮にあの御気付きは御勧めるしかつ投獄であるならば粉飾しない
事実20: 仮に「その酒菜は市場システムだしさらに加藤神社だ」ということは成り立たないなら「あの御気付きは市場システムでない」ということは本当である

仮説: あの御気付きは粉飾しない
1. 事実9と事実5から、推論1: "あの御気付きは投獄である"が導かれる
2. 推論1と事実14から、推論2: "あの御気付きは御勧めるし加えてそれは投獄だ"が導かれる
3. 推論2と事実19から、仮説が導かれる

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