この幼児達は従う
fact1: もし仮にあの推計式は春らしいならば「あの縦笛は春らしい一方で明きでない」ということは成り立つということはない fact2: もし仮に「このメジャー・リーガーは煙たい」ということは確かならあの推計式は春らしい fact3: この幼児達は皮帯だ fact4: もしも「この幼児達は磨き始めるけれどそれは明きであるということはない」ということは事実だということはないならばそれは従う fact5: あの縦笛は這い上る fact6: あの推計式は皮帯である fact7: このメジャー・リーガーは野生化する fact8: 仮に「このメジャー・リーガーは野生化するけど磨き始めない」ということは成り立たないとすれば春らしい fact9: あの縦笛が従うなら明きだ fact10: もし仮にあの推計式が野生化するとしたら春らしい fact11: あの推計式は○○する fact12: 「その焼き肉メニューは座禅するということはない」ということは確かだ fact13: 「あの縦笛は煙たい」ということは成り立つ fact14: もし仮に「このメジャー・リーガーは野生化する」ということは本当であるとするとそれは煙たい fact15: もしもあの縦笛が座禅しないとすればそれは○○するし加えて皮帯である fact16: その住宅地造成事業は春らしい fact17: その四人家族は野生化する fact18: もしその住宅地造成事業がきな臭くないとすればこの幼児達は従う fact19: あの縦笛が磨き始めるし○○するとすればその住宅地造成事業はきな臭いということはない fact20: 「あの縦笛は春らしいけれど明きだということはない」ということは成り立たないとしたら磨き始める fact21: 「あの縦笛は座禅するということはない」ということは確かだ
fact14 & fact7 -> int1: このメジャー・リーガーは煙たい; int1 & fact2 -> int2: あの推計式は春らしい; int2 & fact1 -> int3: 「あの縦笛は春らしいがしかし明きでない」ということは間違っている; int3 & fact20 -> int4: 「あの縦笛は磨き始める」ということは真実である; fact15 & fact21 -> int5: あの縦笛は○○するしおまけにそれは皮帯だ; int5 -> int6: あの縦笛は○○する; int4 & int6 -> int7: あの縦笛は磨き始めるし○○する; int7 & fact19 -> int8: その住宅地造成事業はきな臭くない; int8 & fact18 -> hypothesis;
$facts$ = fact1: もし仮にあの推計式は春らしいならば「あの縦笛は春らしい一方で明きでない」ということは成り立つということはない fact2: もし仮に「このメジャー・リーガーは煙たい」ということは確かならあの推計式は春らしい fact3: この幼児達は皮帯だ fact4: もしも「この幼児達は磨き始めるけれどそれは明きであるということはない」ということは事実だということはないならばそれは従う fact5: あの縦笛は這い上る fact6: あの推計式は皮帯である fact7: このメジャー・リーガーは野生化する fact8: 仮に「このメジャー・リーガーは野生化するけど磨き始めない」ということは成り立たないとすれば春らしい fact9: あの縦笛が従うなら明きだ fact10: もし仮にあの推計式が野生化するとしたら春らしい fact11: あの推計式は○○する fact12: 「その焼き肉メニューは座禅するということはない」ということは確かだ fact13: 「あの縦笛は煙たい」ということは成り立つ fact14: もし仮に「このメジャー・リーガーは野生化する」ということは本当であるとするとそれは煙たい fact15: もしもあの縦笛が座禅しないとすればそれは○○するし加えて皮帯である fact16: その住宅地造成事業は春らしい fact17: その四人家族は野生化する fact18: もしその住宅地造成事業がきな臭くないとすればこの幼児達は従う fact19: あの縦笛が磨き始めるし○○するとすればその住宅地造成事業はきな臭いということはない fact20: 「あの縦笛は春らしいけれど明きだということはない」ということは成り立たないとしたら磨き始める fact21: 「あの縦笛は座禅するということはない」ということは確かだ ; $hypothesis$ = この幼児達は従う ; $proof$ = 
fact14 & fact7 -> int1: このメジャー・リーガーは煙たい; int1 & fact2 -> int2: あの推計式は春らしい; int2 & fact1 -> int3: 「あの縦笛は春らしいがしかし明きでない」ということは間違っている; int3 & fact20 -> int4: 「あの縦笛は磨き始める」ということは真実である; fact15 & fact21 -> int5: あの縦笛は○○するしおまけにそれは皮帯だ; int5 -> int6: あの縦笛は○○する; int4 & int6 -> int7: あの縦笛は磨き始めるし○○する; int7 & fact19 -> int8: その住宅地造成事業はきな臭くない; int8 & fact18 -> hypothesis; __PROVED__
事実1: もし仮にあの推計式は春らしいならば「あの縦笛は春らしい一方で明きでない」ということは成り立つということはない
事実2: もし仮に「このメジャー・リーガーは煙たい」ということは確かならあの推計式は春らしい
事実3: この幼児達は皮帯だ
事実4: もしも「この幼児達は磨き始めるけれどそれは明きであるということはない」ということは事実だということはないならばそれは従う
事実5: あの縦笛は這い上る
事実6: あの推計式は皮帯である
事実7: このメジャー・リーガーは野生化する
事実8: 仮に「このメジャー・リーガーは野生化するけど磨き始めない」ということは成り立たないとすれば春らしい
事実9: あの縦笛が従うなら明きだ
事実10: もし仮にあの推計式が野生化するとしたら春らしい
事実11: あの推計式は○○する
事実12: 「その焼き肉メニューは座禅するということはない」ということは確かだ
事実13: 「あの縦笛は煙たい」ということは成り立つ
事実14: もし仮に「このメジャー・リーガーは野生化する」ということは本当であるとするとそれは煙たい
事実15: もしもあの縦笛が座禅しないとすればそれは○○するし加えて皮帯である
事実16: その住宅地造成事業は春らしい
事実17: その四人家族は野生化する
事実18: もしその住宅地造成事業がきな臭くないとすればこの幼児達は従う
事実19: あの縦笛が磨き始めるし○○するとすればその住宅地造成事業はきな臭いということはない
事実20: 「あの縦笛は春らしいけれど明きだということはない」ということは成り立たないとしたら磨き始める
事実21: 「あの縦笛は座禅するということはない」ということは確かだ

仮説: この幼児達は従う
1. 事実14と事実7から、推論1: "このメジャー・リーガーは煙たい"が導かれる
2. 推論1と事実2から、推論2: "あの推計式は春らしい"が導かれる
3. 推論2と事実1から、推論3: "「あの縦笛は春らしいがしかし明きでない」ということは間違っている"が導かれる
4. 推論3と事実20から、推論4: "「あの縦笛は磨き始める」ということは真実である"が導かれる
5. 事実15と事実21から、推論5: "あの縦笛は○○するしおまけにそれは皮帯だ"が導かれる
6. 推論5から、推論6: "あの縦笛は○○する"が導かれる
7. 推論4と推論6から、推論7: "あの縦笛は磨き始めるし○○する"が導かれる
8. 推論7と事実19から、推論8: "その住宅地造成事業はきな臭くない"が導かれる
9. 推論8と事実18から、仮説が導かれる

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