その食事等は減らし始めるがしかしサボるということはない
fact1: もしこの見世物小屋がダイヤルするとしたらあのセニョール・ガティートは指定するということはない fact2: 「その食事等は数分置きでないし加えて減らし始めない」ということは事実と異なる fact3: この発話障害はサボる fact4: 「その処遇技法はデータ集計期間内だがしかし決め難くない」ということは誤りだ fact5: もし「その処遇技法はデータ集計期間内であるけれど決め難くない」ということは成り立たないならばこのブルネットはデータ集計期間内でない fact6: もし仮にそのＡＣＣＳが最終形でないとするとそれはダイヤルするし砕け易い fact7: もしこの見世物小屋が本納付であるということはないとすればあのセニョール・ガティートは指定しない fact8: 「その食事等はダイヤルしないけれど本納付だ」ということは成り立つということはない fact9: もし仮に「「前記進でないしすごーくない」物はある」ということは成り立つとするとそのＡＣＣＳは最終形でない fact10: もし仮に何らかのものがダイヤルするとすればあの見世物小屋はダイヤルするかまたはそれは本納付でない fact11: そのボートは減らし始める fact12: 仮に「この発話障害は数分置きであるけどそれは大人っぽくない」ということは間違っていればその食事等は指定する fact13: その食事等は指定するとしたら「「それはダイヤルしないしおまけに本納付でない」ということは正しい」ということは成り立たない fact14: とあるものが指定するということはないならばそれはサボる fact15: もしも「「その食事等はダイヤルするということはないしおまけに本納付でない」ということは真実である」ということは成り立たないとしたらサボらない fact16: 仮にその食事等は数分置きだとすると「それは砕け易くないがしかし本納付だ」ということは誤っている fact17: この発話障害はサボるけれど大人っぽくない fact18: それは数分置きだが大人っぽくないという物はない fact19: その食事等は砕け易くない fact20: もし仮にその食事等は本納付であるならばサボらない fact21: もしもあのセニョール・ガティートが砕け易くないとしたらその食事等は減らし始める fact22: あのセニョール・ガティートは砕け易くない fact23: あるものがデータ集計期間内であるということはないとすればこの挿入メニューは前記進であるということはないししかもすごーくない
fact18 -> int1: 「「この発話障害は数分置きであるけれど大人っぽくない」ということは成り立たない」ということは本当である; int1 & fact12 -> int2: その食事等は指定する; int2 & fact13 -> int3: 「その食事等はダイヤルしないしそれに本納付でない」ということは間違いである; int3 & fact15 -> int4: その食事等はサボるということはない; fact21 & fact22 -> int5: その食事等は減らし始める; int4 & int5 -> hypothesis;
「その食事等は減らし始めるけれどサボらない」ということは誤りだ
fact26 -> int6: あのセニョール・ガティートが指定しないとしたらそれはサボる; fact32 & fact31 -> int7: このブルネットはデータ集計期間内でない; int7 -> int8: 「データ集計期間内でない」ものはある; int8 & fact30 -> int9: この挿入メニューは前記進でなくてそれはすごーくない; int9 -> int10: 何らかのものは前記進でなくてすごーくない; int10 & fact27 -> int11: そのＡＣＣＳは最終形でない; fact28 & int11 -> int12: そのＡＣＣＳはダイヤルするしそれにそれは砕け易い; int12 -> int13: 「そのＡＣＣＳはダイヤルする」ということは正しい; int13 -> int14: 「ダイヤルする」ものはある; int14 & fact25 -> int15: この見世物小屋はダイヤルするかもしくはそれは本納付であるということはないかもしくは両方ともだ; int15 & fact24 & fact29 -> int16: あのセニョール・ガティートは指定しない; int6 & int16 -> int17: あのセニョール・ガティートはサボる; int17 -> int18: 「「サボる」ものはある」ということは成り立つ;
$facts$ = fact1: もしこの見世物小屋がダイヤルするとしたらあのセニョール・ガティートは指定するということはない fact2: 「その食事等は数分置きでないし加えて減らし始めない」ということは事実と異なる fact3: この発話障害はサボる fact4: 「その処遇技法はデータ集計期間内だがしかし決め難くない」ということは誤りだ fact5: もし「その処遇技法はデータ集計期間内であるけれど決め難くない」ということは成り立たないならばこのブルネットはデータ集計期間内でない fact6: もし仮にそのＡＣＣＳが最終形でないとするとそれはダイヤルするし砕け易い fact7: もしこの見世物小屋が本納付であるということはないとすればあのセニョール・ガティートは指定しない fact8: 「その食事等はダイヤルしないけれど本納付だ」ということは成り立つということはない fact9: もし仮に「「前記進でないしすごーくない」物はある」ということは成り立つとするとそのＡＣＣＳは最終形でない fact10: もし仮に何らかのものがダイヤルするとすればあの見世物小屋はダイヤルするかまたはそれは本納付でない fact11: そのボートは減らし始める fact12: 仮に「この発話障害は数分置きであるけどそれは大人っぽくない」ということは間違っていればその食事等は指定する fact13: その食事等は指定するとしたら「「それはダイヤルしないしおまけに本納付でない」ということは正しい」ということは成り立たない fact14: とあるものが指定するということはないならばそれはサボる fact15: もしも「「その食事等はダイヤルするということはないしおまけに本納付でない」ということは真実である」ということは成り立たないとしたらサボらない fact16: 仮にその食事等は数分置きだとすると「それは砕け易くないがしかし本納付だ」ということは誤っている fact17: この発話障害はサボるけれど大人っぽくない fact18: それは数分置きだが大人っぽくないという物はない fact19: その食事等は砕け易くない fact20: もし仮にその食事等は本納付であるならばサボらない fact21: もしもあのセニョール・ガティートが砕け易くないとしたらその食事等は減らし始める fact22: あのセニョール・ガティートは砕け易くない fact23: あるものがデータ集計期間内であるということはないとすればこの挿入メニューは前記進であるということはないししかもすごーくない ; $hypothesis$ = その食事等は減らし始めるがしかしサボるということはない ; $proof$ = 
fact18 -> int1: 「「この発話障害は数分置きであるけれど大人っぽくない」ということは成り立たない」ということは本当である; int1 & fact12 -> int2: その食事等は指定する; int2 & fact13 -> int3: 「その食事等はダイヤルしないしそれに本納付でない」ということは間違いである; int3 & fact15 -> int4: その食事等はサボるということはない; fact21 & fact22 -> int5: その食事等は減らし始める; int4 & int5 -> hypothesis; __PROVED__
事実1: もしこの見世物小屋がダイヤルするとしたらあのセニョール・ガティートは指定するということはない
事実2: 「その食事等は数分置きでないし加えて減らし始めない」ということは事実と異なる
事実3: この発話障害はサボる
事実4: 「その処遇技法はデータ集計期間内だがしかし決め難くない」ということは誤りだ
事実5: もし「その処遇技法はデータ集計期間内であるけれど決め難くない」ということは成り立たないならばこのブルネットはデータ集計期間内でない
事実6: もし仮にそのＡＣＣＳが最終形でないとするとそれはダイヤルするし砕け易い
事実7: もしこの見世物小屋が本納付であるということはないとすればあのセニョール・ガティートは指定しない
事実8: 「その食事等はダイヤルしないけれど本納付だ」ということは成り立つということはない
事実9: もし仮に「「前記進でないしすごーくない」物はある」ということは成り立つとするとそのＡＣＣＳは最終形でない
事実10: もし仮に何らかのものがダイヤルするとすればあの見世物小屋はダイヤルするかまたはそれは本納付でない
事実11: そのボートは減らし始める
事実12: 仮に「この発話障害は数分置きであるけどそれは大人っぽくない」ということは間違っていればその食事等は指定する
事実13: その食事等は指定するとしたら「「それはダイヤルしないしおまけに本納付でない」ということは正しい」ということは成り立たない
事実14: とあるものが指定するということはないならばそれはサボる
事実15: もしも「「その食事等はダイヤルするということはないしおまけに本納付でない」ということは真実である」ということは成り立たないとしたらサボらない
事実16: 仮にその食事等は数分置きだとすると「それは砕け易くないがしかし本納付だ」ということは誤っている
事実17: この発話障害はサボるけれど大人っぽくない
事実18: それは数分置きだが大人っぽくないという物はない
事実19: その食事等は砕け易くない
事実20: もし仮にその食事等は本納付であるならばサボらない
事実21: もしもあのセニョール・ガティートが砕け易くないとしたらその食事等は減らし始める
事実22: あのセニョール・ガティートは砕け易くない
事実23: あるものがデータ集計期間内であるということはないとすればこの挿入メニューは前記進であるということはないししかもすごーくない

仮説: その食事等は減らし始めるがしかしサボるということはない
1. 事実18から、推論1: "「「この発話障害は数分置きであるけれど大人っぽくない」ということは成り立たない」ということは本当である"が導かれる
2. 推論1と事実12から、推論2: "その食事等は指定する"が導かれる
3. 推論2と事実13から、推論3: "「その食事等はダイヤルしないしそれに本納付でない」ということは間違いである"が導かれる
4. 推論3と事実15から、推論4: "その食事等はサボるということはない"が導かれる
5. 事実21と事実22から、推論5: "その食事等は減らし始める"が導かれる
6. 推論4と推論5から、仮説が導かれる

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