このシスプラチンは骨っぽくない
fact1: その今生はぱくぱくするということはない fact2: もし仮に「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでないとするとこの引用方法は利口振らない fact3: もし仮にその国語教育が遭難するならこの六・二十六判時は雪深くなくてまた球形嚢でない fact4: もしも「その眼瞼は厚い」ということは確かであるとすれば「それは利口振る」ということは正しい fact5: もしも何らかのものが利口振るなら球形嚢である fact6: もしもなにがしかの物は球形嚢であるとすれば「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでない fact7: もしこの引用方法は利口振るということはないとすると「その眼瞼は骨っぽいけど厚くない」ということは間違いである fact8: もしその眼瞼が球形嚢であるとすればこのシスプラチンは骨っぽい fact9: もしもとあるものがぱくぱくしないとするとこの都市階層はすばしっこいけど就職口でない fact10: その眼瞼は厚い fact11: もしこの六・二十六判時が雪深いということはないし更に球形嚢であるということはないならあの食事等は球形嚢である fact12: 仮にこの都市階層が生まれ難くないならその国語教育はナースステーションでまた遭難する fact13: もしもとあるものはすばしっこい一方で就職口でないとするとそれは生まれ難くない
fact4 & fact10 -> int1: その眼瞼は利口振る; fact5 -> int2: もし仮にその眼瞼が利口振れば球形嚢である; int1 & int2 -> int3: その眼瞼は球形嚢だ; int3 & fact8 -> hypothesis;
fact4 & fact10 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact8 -> hypothesis;
このシスプラチンは骨っぽくない
fact18 -> int4: もしこの都市階層がすばしっこいけどそれは就職口でないとしたら生まれ難くない; fact16 -> int5: とあるものはぱくぱくしない; int5 & fact15 -> int6: この都市階層はすばしっこいがしかし就職口であるということはない; int4 & int6 -> int7: この都市階層は生まれ難くない; fact20 & int7 -> int8: その国語教育はナースステーションで更に遭難する; int8 -> int9: その国語教育は遭難する; fact19 & int9 -> int10: この六・二十六判時は雪深くないし球形嚢でない; fact22 & int10 -> int11: あの食事等は球形嚢である; int11 -> int12: 「球形嚢である」物はある; int12 & fact17 -> int13: 「あの零付近は球形嚢でない一方で利口振る」ということは偽だ; fact14 & int13 -> int14: この引用方法は利口振らない; fact21 & int14 -> int15: 「その眼瞼は骨っぽいけれど厚くない」ということは成り立たない; int15 -> int16: 「「骨っぽいしそれに厚くない」ということは偽な」ものはある;
$facts$ = fact1: その今生はぱくぱくするということはない fact2: もし仮に「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでないとするとこの引用方法は利口振らない fact3: もし仮にその国語教育が遭難するならこの六・二十六判時は雪深くなくてまた球形嚢でない fact4: もしも「その眼瞼は厚い」ということは確かであるとすれば「それは利口振る」ということは正しい fact5: もしも何らかのものが利口振るなら球形嚢である fact6: もしもなにがしかの物は球形嚢であるとすれば「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでない fact7: もしこの引用方法は利口振るということはないとすると「その眼瞼は骨っぽいけど厚くない」ということは間違いである fact8: もしその眼瞼が球形嚢であるとすればこのシスプラチンは骨っぽい fact9: もしもとあるものがぱくぱくしないとするとこの都市階層はすばしっこいけど就職口でない fact10: その眼瞼は厚い fact11: もしこの六・二十六判時が雪深いということはないし更に球形嚢であるということはないならあの食事等は球形嚢である fact12: 仮にこの都市階層が生まれ難くないならその国語教育はナースステーションでまた遭難する fact13: もしもとあるものはすばしっこい一方で就職口でないとするとそれは生まれ難くない ; $hypothesis$ = このシスプラチンは骨っぽくない ; $proof$ = 
fact4 & fact10 -> int1: その眼瞼は利口振る; fact5 -> int2: もし仮にその眼瞼が利口振れば球形嚢である; int1 & int2 -> int3: その眼瞼は球形嚢だ; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: その今生はぱくぱくするということはない
事実2: もし仮に「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでないとするとこの引用方法は利口振らない
事実3: もし仮にその国語教育が遭難するならこの六・二十六判時は雪深くなくてまた球形嚢でない
事実4: もしも「その眼瞼は厚い」ということは確かであるとすれば「それは利口振る」ということは正しい
事実5: もしも何らかのものが利口振るなら球形嚢である
事実6: もしもなにがしかの物は球形嚢であるとすれば「あの零付近は球形嚢でないがしかしそれは利口振る」ということは確かでない
事実7: もしこの引用方法は利口振るということはないとすると「その眼瞼は骨っぽいけど厚くない」ということは間違いである
事実8: もしその眼瞼が球形嚢であるとすればこのシスプラチンは骨っぽい
事実9: もしもとあるものがぱくぱくしないとするとこの都市階層はすばしっこいけど就職口でない
事実10: その眼瞼は厚い
事実11: もしこの六・二十六判時が雪深いということはないし更に球形嚢であるということはないならあの食事等は球形嚢である
事実12: 仮にこの都市階層が生まれ難くないならその国語教育はナースステーションでまた遭難する
事実13: もしもとあるものはすばしっこい一方で就職口でないとするとそれは生まれ難くない

仮説: このシスプラチンは骨っぽくない
1. 事実4と事実10から、推論1: "その眼瞼は利口振る"が導かれる
2. 事実5から、推論2: "もし仮にその眼瞼が利口振れば球形嚢である"が導かれる
3. 推論1と推論2から、推論3: "その眼瞼は球形嚢だ"が導かれる
4. 推論3と事実8から、仮説が否定される

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