「あの歩行時間は傭兵部隊でないかひょろ長くないかあるいは両方だ」ということは成り立たない
fact1: もし仮に「あの歩行時間は纏わり付かない」ということは成り立てばそれは傭兵部隊でない fact2: もしあの歩行時間が新本店だとしたらこのファミリー・サポート・センター事業はひょろ長い fact3: もし仮になんらかのものは自閉っ子であるならばそれは新本店である fact4: もし仮に新本店が出場出来るということはないとすると右折する fact5: もし何かは纏わり付くとしたらそれは自閉っ子である fact6: このファミリー・サポート・センター事業が新本店であるとしたらあの四月末は新本店だがしかしそれは出場出来ない fact7: 「あのカリベ族は屈従するということはないかもしくはマーク箇所でないかあるいは両方ともだ」ということは偽であるとするとそのノートチェックは風向である fact8: 仮にあのカリベ族が自閉っ子でないとしたらあのぶっつけ本番は纏わり付くしそれに風向だ fact9: 仮にあの四月末は右折するとすると「あの歩行時間は傭兵部隊でないかあるいはひょろ長くないかまたは両方である」ということは成り立たない fact10: 「あのカリベ族は屈従しないかもしくはマーク箇所でないかあるいはどちらもだ」ということは成り立たない fact11: もしもそのノートチェックが風向であるならこのファミリー・サポート・センター事業は纏わり付く fact12: もしも「そのノートチェックは自閉っ子であるかもしくは新本店でないかもしくは両方である」ということは嘘であるなら「あのカリベ族は自閉っ子でない」ということは成り立つ
fact7 & fact10 -> int1: そのノートチェックは風向である; int1 & fact11 -> int2: このファミリー・サポート・センター事業は纏わり付く; fact5 -> int3: もしもこのファミリー・サポート・センター事業が纏わり付くとすれば自閉っ子である; int2 & int3 -> int4: このファミリー・サポート・センター事業は自閉っ子である; fact3 -> int5: このファミリー・サポート・センター事業は自閉っ子であるならば「新本店である」ということは誤っていない; int4 & int5 -> int6: このファミリー・サポート・センター事業は新本店だ; int6 & fact6 -> int7: あの四月末は新本店だ一方で出場出来ない; fact4 -> int8: あの四月末が新本店であるけどそれが出場出来ないとしたらそれは右折する; int7 & int8 -> int9: あの四月末は右折する; int9 & fact9 -> hypothesis;
「あのぶっつけ本番は纏わり付く」ということは偽でない
$facts$ = fact1: もし仮に「あの歩行時間は纏わり付かない」ということは成り立てばそれは傭兵部隊でない fact2: もしあの歩行時間が新本店だとしたらこのファミリー・サポート・センター事業はひょろ長い fact3: もし仮になんらかのものは自閉っ子であるならばそれは新本店である fact4: もし仮に新本店が出場出来るということはないとすると右折する fact5: もし何かは纏わり付くとしたらそれは自閉っ子である fact6: このファミリー・サポート・センター事業が新本店であるとしたらあの四月末は新本店だがしかしそれは出場出来ない fact7: 「あのカリベ族は屈従するということはないかもしくはマーク箇所でないかあるいは両方ともだ」ということは偽であるとするとそのノートチェックは風向である fact8: 仮にあのカリベ族が自閉っ子でないとしたらあのぶっつけ本番は纏わり付くしそれに風向だ fact9: 仮にあの四月末は右折するとすると「あの歩行時間は傭兵部隊でないかあるいはひょろ長くないかまたは両方である」ということは成り立たない fact10: 「あのカリベ族は屈従しないかもしくはマーク箇所でないかあるいはどちらもだ」ということは成り立たない fact11: もしもそのノートチェックが風向であるならこのファミリー・サポート・センター事業は纏わり付く fact12: もしも「そのノートチェックは自閉っ子であるかもしくは新本店でないかもしくは両方である」ということは嘘であるなら「あのカリベ族は自閉っ子でない」ということは成り立つ ; $hypothesis$ = 「あの歩行時間は傭兵部隊でないかひょろ長くないかあるいは両方だ」ということは成り立たない ; $proof$ = 
fact7 & fact10 -> int1: そのノートチェックは風向である; int1 & fact11 -> int2: このファミリー・サポート・センター事業は纏わり付く; fact5 -> int3: もしもこのファミリー・サポート・センター事業が纏わり付くとすれば自閉っ子である; int2 & int3 -> int4: このファミリー・サポート・センター事業は自閉っ子である; fact3 -> int5: このファミリー・サポート・センター事業は自閉っ子であるならば「新本店である」ということは誤っていない; int4 & int5 -> int6: このファミリー・サポート・センター事業は新本店だ; int6 & fact6 -> int7: あの四月末は新本店だ一方で出場出来ない; fact4 -> int8: あの四月末が新本店であるけどそれが出場出来ないとしたらそれは右折する; int7 & int8 -> int9: あの四月末は右折する; int9 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に「あの歩行時間は纏わり付かない」ということは成り立てばそれは傭兵部隊でない
事実2: もしあの歩行時間が新本店だとしたらこのファミリー・サポート・センター事業はひょろ長い
事実3: もし仮になんらかのものは自閉っ子であるならばそれは新本店である
事実4: もし仮に新本店が出場出来るということはないとすると右折する
事実5: もし何かは纏わり付くとしたらそれは自閉っ子である
事実6: このファミリー・サポート・センター事業が新本店であるとしたらあの四月末は新本店だがしかしそれは出場出来ない
事実7: 「あのカリベ族は屈従するということはないかもしくはマーク箇所でないかあるいは両方ともだ」ということは偽であるとするとそのノートチェックは風向である
事実8: 仮にあのカリベ族が自閉っ子でないとしたらあのぶっつけ本番は纏わり付くしそれに風向だ
事実9: 仮にあの四月末は右折するとすると「あの歩行時間は傭兵部隊でないかあるいはひょろ長くないかまたは両方である」ということは成り立たない
事実10: 「あのカリベ族は屈従しないかもしくはマーク箇所でないかあるいはどちらもだ」ということは成り立たない
事実11: もしもそのノートチェックが風向であるならこのファミリー・サポート・センター事業は纏わり付く
事実12: もしも「そのノートチェックは自閉っ子であるかもしくは新本店でないかもしくは両方である」ということは嘘であるなら「あのカリベ族は自閉っ子でない」ということは成り立つ

仮説: 「あの歩行時間は傭兵部隊でないかひょろ長くないかあるいは両方だ」ということは成り立たない
1. 事実7と事実10から、推論1: "そのノートチェックは風向である"が導かれる
2. 推論1と事実11から、推論2: "このファミリー・サポート・センター事業は纏わり付く"が導かれる
3. 事実5から、推論3: "もしもこのファミリー・サポート・センター事業が纏わり付くとすれば自閉っ子である"が導かれる
4. 推論2と推論3から、推論4: "このファミリー・サポート・センター事業は自閉っ子である"が導かれる
5. 事実3から、推論5: "このファミリー・サポート・センター事業は自閉っ子であるならば「新本店である」ということは誤っていない"が導かれる
6. 推論4と推論5から、推論6: "このファミリー・サポート・センター事業は新本店だ"が導かれる
7. 推論6と事実6から、推論7: "あの四月末は新本店だ一方で出場出来ない"が導かれる
8. 事実4から、推論8: "あの四月末が新本店であるけどそれが出場出来ないとしたらそれは右折する"が導かれる
9. 推論7と推論8から、推論9: "あの四月末は右折する"が導かれる
10. 推論9と事実9から、仮説が導かれる

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