「その人工授精は息苦しくて加えて周囲組織である」ということは偽だ
fact1: もし仮に何らかの物は御当人でないとしたらそれはぎすぎすしない fact2: 「もしもある物が常連らしいということはないなら手強い」ということは確かだ fact3: なんらかの物はぎすぎすしないとすると「呻吟するということはないがしかしなあい」ということは成り立たない fact4: この骸骨は急き立てない fact5: もしこの父親譲りが常連らしいということはないとするとこの開始後債権は手強い fact6: その人工授精はなあい fact7: 仮にこの骸骨が短縮しない一方でそれが右側部分であるならばあのアニマルは短縮しない fact8: この父親譲りは第一号機であるかまたはそれは目覚ましい fact9: 「仮にその人工授精がなあいとするとその人工授精は乗降客数でない」ということは真実である fact10: もしも何かは乗降客数でないとすればそれは周囲組織であるしそれに舌打ちする fact11: 仮にこの父親譲りは舌打ちしないとすれば「その人工授精は常連らしくないけれど手強い」ということは嘘だ fact12: 「この骸骨は急き立てない」ということは事実ならばそれは短縮するということはないしまた右側部分である fact13: もし仮に「とあるものは常連らしくないけれどそれは手強い」ということは偽であるとすれば「手強くない」ということは事実である fact14: なあくない物は乗降客数であるかあるいは舌打ちするということはない fact15: もし仮にこの父親譲りが常連らしくないし息苦しくないとしたらその人工授精は常連らしくない fact16: 「とあるものは呻吟しない一方でそれはなあい」ということは確かでないとするとそれはなあくない fact17: もしこの開始後債権が手強いとすればその人工授精は息苦しい fact18: もしなにがしかの物は手強くないとしたら「それは息苦しいしまたそれは周囲組織である」ということは成り立たない fact19: もし仮にこの父親譲りが第一号機であるかあるいはそれは目覚ましいとすれば「常連らしくない」ということは事実だ fact20: あのアニマルは短縮しないとすれば「その緒川ダムは君らしいしまた御当人だ」ということは成り立つということはない fact21: 仮に「「君らしいしさらに御当人だ」ということは成り立つということはない」物があるとするとこの開始後債権は御当人でない
fact19 & fact8 -> int1: この父親譲りは常連らしくない; int1 & fact5 -> int2: この開始後債権は手強い; int2 & fact17 -> int3: その人工授精は息苦しい; fact6 & fact9 -> int4: その人工授精は乗降客数でない; fact10 -> int5: もしその人工授精は乗降客数であるということはないならそれは周囲組織であるしかつ舌打ちする; int4 & int5 -> int6: その人工授精は周囲組織だしかつ舌打ちする; int6 -> int7: その人工授精は周囲組織である; int3 & int7 -> hypothesis;
「その人工授精は息苦しくて周囲組織である」ということは偽だ
fact32 -> int8: 仮にその人工授精は手強くないならば「息苦しいしおまけに周囲組織だ」ということは誤りだ; fact23 -> int9: もしも「その人工授精は常連らしくないがしかし手強い」ということは誤りだとすれば手強くない; fact28 -> int10: もしもこの開始後債権がなあいということはないならば乗降客数であるかまたはそれは舌打ちしないかあるいはどちらもである; fact22 -> int11: 「この開始後債権は呻吟しない一方でなあい」ということは成り立たないとしたらそれはなあくない; fact31 -> int12: もし仮にこの開始後債権はぎすぎすするということはないなら「呻吟するということはないがなあい」ということは事実と異なる; fact24 -> int13: 「この開始後債権は御当人だということはない」ということは成り立つとするとそれはぎすぎすするということはない; fact33 & fact30 -> int14: この骸骨は短縮しないけどそれは右側部分である; fact25 & int14 -> int15: あのアニマルは短縮しない; fact26 & int15 -> int16: 「その緒川ダムは君らしいし加えてそれは御当人だ」ということは間違っている; int16 -> int17: 「「君らしいし御当人だ」ということは誤りな」ものはある; int17 & fact29 -> int18: 「この開始後債権は御当人でない」ということは成り立つ; int13 & int18 -> int19: この開始後債権はぎすぎすするということはない; int12 & int19 -> int20: 「この開始後債権は呻吟するということはないがなあい」ということは偽である; int11 & int20 -> int21: この開始後債権はなあくない; int10 & int21 -> int22: この開始後債権は乗降客数であるかあるいは舌打ちしないか両方ともだ;
$facts$ = fact1: もし仮に何らかの物は御当人でないとしたらそれはぎすぎすしない fact2: 「もしもある物が常連らしいということはないなら手強い」ということは確かだ fact3: なんらかの物はぎすぎすしないとすると「呻吟するということはないがしかしなあい」ということは成り立たない fact4: この骸骨は急き立てない fact5: もしこの父親譲りが常連らしいということはないとするとこの開始後債権は手強い fact6: その人工授精はなあい fact7: 仮にこの骸骨が短縮しない一方でそれが右側部分であるならばあのアニマルは短縮しない fact8: この父親譲りは第一号機であるかまたはそれは目覚ましい fact9: 「仮にその人工授精がなあいとするとその人工授精は乗降客数でない」ということは真実である fact10: もしも何かは乗降客数でないとすればそれは周囲組織であるしそれに舌打ちする fact11: 仮にこの父親譲りは舌打ちしないとすれば「その人工授精は常連らしくないけれど手強い」ということは嘘だ fact12: 「この骸骨は急き立てない」ということは事実ならばそれは短縮するということはないしまた右側部分である fact13: もし仮に「とあるものは常連らしくないけれどそれは手強い」ということは偽であるとすれば「手強くない」ということは事実である fact14: なあくない物は乗降客数であるかあるいは舌打ちするということはない fact15: もし仮にこの父親譲りが常連らしくないし息苦しくないとしたらその人工授精は常連らしくない fact16: 「とあるものは呻吟しない一方でそれはなあい」ということは確かでないとするとそれはなあくない fact17: もしこの開始後債権が手強いとすればその人工授精は息苦しい fact18: もしなにがしかの物は手強くないとしたら「それは息苦しいしまたそれは周囲組織である」ということは成り立たない fact19: もし仮にこの父親譲りが第一号機であるかあるいはそれは目覚ましいとすれば「常連らしくない」ということは事実だ fact20: あのアニマルは短縮しないとすれば「その緒川ダムは君らしいしまた御当人だ」ということは成り立つということはない fact21: 仮に「「君らしいしさらに御当人だ」ということは成り立つということはない」物があるとするとこの開始後債権は御当人でない ; $hypothesis$ = 「その人工授精は息苦しくて加えて周囲組織である」ということは偽だ ; $proof$ = 
fact19 & fact8 -> int1: この父親譲りは常連らしくない; int1 & fact5 -> int2: この開始後債権は手強い; int2 & fact17 -> int3: その人工授精は息苦しい; fact6 & fact9 -> int4: その人工授精は乗降客数でない; fact10 -> int5: もしその人工授精は乗降客数であるということはないならそれは周囲組織であるしかつ舌打ちする; int4 & int5 -> int6: その人工授精は周囲組織だしかつ舌打ちする; int6 -> int7: その人工授精は周囲組織である; int3 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は御当人でないとしたらそれはぎすぎすしない
事実2: 「もしもある物が常連らしいということはないなら手強い」ということは確かだ
事実3: なんらかの物はぎすぎすしないとすると「呻吟するということはないがしかしなあい」ということは成り立たない
事実4: この骸骨は急き立てない
事実5: もしこの父親譲りが常連らしいということはないとするとこの開始後債権は手強い
事実6: その人工授精はなあい
事実7: 仮にこの骸骨が短縮しない一方でそれが右側部分であるならばあのアニマルは短縮しない
事実8: この父親譲りは第一号機であるかまたはそれは目覚ましい
事実9: 「仮にその人工授精がなあいとするとその人工授精は乗降客数でない」ということは真実である
事実10: もしも何かは乗降客数でないとすればそれは周囲組織であるしそれに舌打ちする
事実11: 仮にこの父親譲りは舌打ちしないとすれば「その人工授精は常連らしくないけれど手強い」ということは嘘だ
事実12: 「この骸骨は急き立てない」ということは事実ならばそれは短縮するということはないしまた右側部分である
事実13: もし仮に「とあるものは常連らしくないけれどそれは手強い」ということは偽であるとすれば「手強くない」ということは事実である
事実14: なあくない物は乗降客数であるかあるいは舌打ちするということはない
事実15: もし仮にこの父親譲りが常連らしくないし息苦しくないとしたらその人工授精は常連らしくない
事実16: 「とあるものは呻吟しない一方でそれはなあい」ということは確かでないとするとそれはなあくない
事実17: もしこの開始後債権が手強いとすればその人工授精は息苦しい
事実18: もしなにがしかの物は手強くないとしたら「それは息苦しいしまたそれは周囲組織である」ということは成り立たない
事実19: もし仮にこの父親譲りが第一号機であるかあるいはそれは目覚ましいとすれば「常連らしくない」ということは事実だ
事実20: あのアニマルは短縮しないとすれば「その緒川ダムは君らしいしまた御当人だ」ということは成り立つということはない
事実21: 仮に「「君らしいしさらに御当人だ」ということは成り立つということはない」物があるとするとこの開始後債権は御当人でない

仮説: 「その人工授精は息苦しくて加えて周囲組織である」ということは偽だ
1. 事実19と事実8から、推論1: "この父親譲りは常連らしくない"が導かれる
2. 推論1と事実5から、推論2: "この開始後債権は手強い"が導かれる
3. 推論2と事実17から、推論3: "その人工授精は息苦しい"が導かれる
4. 事実6と事実9から、推論4: "その人工授精は乗降客数でない"が導かれる
5. 事実10から、推論5: "もしその人工授精は乗降客数であるということはないならそれは周囲組織であるしかつ舌打ちする"が導かれる
6. 推論4と推論5から、推論6: "その人工授精は周囲組織だしかつ舌打ちする"が導かれる
7. 推論6から、推論7: "その人工授精は周囲組織である"が導かれる
8. 推論3と推論7から、仮説が否定される

よって、仮説が否定されました。