この三宅小学校は賢しくない
fact1: この三宅小学校は広し fact2: そのベビーカーは徴求する fact3: 「もしも「その潔白は渋らないしその上恋しいない」ということは成り立たないとしたらこの三宅小学校は渋る」ということは成り立つ fact4: 仮に「噛めない」ものがあるならこの三宅小学校は広ししそれに渋る fact5: 「噛める」ものはある fact6: 「その潔白は堅苦しい」ということは偽でない fact7: もしとあるものは渋るとすると「噛めるし加えて広しということはない」ということは真実であるということはない fact8: 仮に「「噛めない」ということは本当である」ものがあるならこの三宅小学校は広し fact9: その潔白が堅苦しくないとすればこの里数値は賢しいししかも徴求する fact10: 仮にその潔白は全記録でないならば「渋らないしそれは恋しかない」ということは嘘である fact11: 仮にとある物が堅苦しくないとすると賢しくて加えて徴求する fact12: もし仮になにかは徴求するし堅苦しいとしたら噛めない fact13: 広しものが渋るとするとそれは賢しくない fact14: その潔白は徴求する
fact14 & fact6 -> int1: その潔白は徴求するしおまけに堅苦しい; fact12 -> int2: その潔白が徴求するしそれが堅苦しいとしたらそれは噛めるということはない; int1 & int2 -> int3: その潔白は噛めない; int3 -> int4: 「噛めない」ものはある; int4 & fact4 -> int5: この三宅小学校は広ししそれは渋る; fact13 -> int6: 仮にこの三宅小学校は広しし加えて渋るとすれば賢しくない; int5 & int6 -> hypothesis;
この里数値は賢しい
$facts$ = fact1: この三宅小学校は広し fact2: そのベビーカーは徴求する fact3: 「もしも「その潔白は渋らないしその上恋しいない」ということは成り立たないとしたらこの三宅小学校は渋る」ということは成り立つ fact4: 仮に「噛めない」ものがあるならこの三宅小学校は広ししそれに渋る fact5: 「噛める」ものはある fact6: 「その潔白は堅苦しい」ということは偽でない fact7: もしとあるものは渋るとすると「噛めるし加えて広しということはない」ということは真実であるということはない fact8: 仮に「「噛めない」ということは本当である」ものがあるならこの三宅小学校は広し fact9: その潔白が堅苦しくないとすればこの里数値は賢しいししかも徴求する fact10: 仮にその潔白は全記録でないならば「渋らないしそれは恋しかない」ということは嘘である fact11: 仮にとある物が堅苦しくないとすると賢しくて加えて徴求する fact12: もし仮になにかは徴求するし堅苦しいとしたら噛めない fact13: 広しものが渋るとするとそれは賢しくない fact14: その潔白は徴求する ; $hypothesis$ = この三宅小学校は賢しくない ; $proof$ = 
fact14 & fact6 -> int1: その潔白は徴求するしおまけに堅苦しい; fact12 -> int2: その潔白が徴求するしそれが堅苦しいとしたらそれは噛めるということはない; int1 & int2 -> int3: その潔白は噛めない; int3 -> int4: 「噛めない」ものはある; int4 & fact4 -> int5: この三宅小学校は広ししそれは渋る; fact13 -> int6: 仮にこの三宅小学校は広しし加えて渋るとすれば賢しくない; int5 & int6 -> hypothesis; __PROVED__
事実1: この三宅小学校は広し
事実2: そのベビーカーは徴求する
事実3: 「もしも「その潔白は渋らないしその上恋しいない」ということは成り立たないとしたらこの三宅小学校は渋る」ということは成り立つ
事実4: 仮に「噛めない」ものがあるならこの三宅小学校は広ししそれに渋る
事実5: 「噛める」ものはある
事実6: 「その潔白は堅苦しい」ということは偽でない
事実7: もしとあるものは渋るとすると「噛めるし加えて広しということはない」ということは真実であるということはない
事実8: 仮に「「噛めない」ということは本当である」ものがあるならこの三宅小学校は広し
事実9: その潔白が堅苦しくないとすればこの里数値は賢しいししかも徴求する
事実10: 仮にその潔白は全記録でないならば「渋らないしそれは恋しかない」ということは嘘である
事実11: 仮にとある物が堅苦しくないとすると賢しくて加えて徴求する
事実12: もし仮になにかは徴求するし堅苦しいとしたら噛めない
事実13: 広しものが渋るとするとそれは賢しくない
事実14: その潔白は徴求する

仮説: この三宅小学校は賢しくない
1. 事実14と事実6から、推論1: "その潔白は徴求するしおまけに堅苦しい"が導かれる
2. 事実12から、推論2: "その潔白が徴求するしそれが堅苦しいとしたらそれは噛めるということはない"が導かれる
3. 推論1と推論2から、推論3: "その潔白は噛めない"が導かれる
4. 推論3から、推論4: "「噛めない」ものはある"が導かれる
5. 推論4と事実4から、推論5: "この三宅小学校は広ししそれは渋る"が導かれる
6. 事実13から、推論6: "仮にこの三宅小学校は広しし加えて渋るとすれば賢しくない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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