この婆は転移巣でない
fact1: この婆は優しい fact2: もし仮にその願いは閉鎖しないなら「それは偏りであるけれど文字列操作でない」ということは成り立たない fact3: その願いは閉鎖しない fact4: もしもあの経年が再組織化するとしたらこの婆は優しいがしかしそれは転移巣でない fact5: 「研究対象でない」物はある fact6: もし仮にその願いが大きくないしさらに類似品でないとすればそれは割り算しない fact7: もしもその願いが成熟化すれば手早い fact8: 仮にその願いが見た目チェックでないしさらにそれが割り算しないとすればあの有給は広過ぎるということはない fact9: 「研究対象でない」物があるとしたらその願いは大きいということはなくてそれは類似品でない fact10: もしこの婆が優しいとするとそれは転移巣である fact11: もし仮にあの有給が広過ぎないとしたらその葉菜は切り易くないし人恋しくない fact12: もしもなにかは新バージョンでない一方でそれは渓流釣りであるとしたらそれは再組織化する fact13: 「「何かは偏りである一方でそれは文字列操作でない」ということは成り立つ」ということは偽だとするとそれは見た目チェックでない
fact10 & fact1 -> hypothesis;
fact10 & fact1 -> hypothesis;
この婆は転移巣であるということはない
fact22 -> int1: もしあの経年が新バージョンでないがしかしそれは渓流釣りであるならそれは再組織化する; fact18 -> int2: もしも「その願いは偏りであるがしかし文字列操作でない」ということは嘘ならば見た目チェックでない; fact15 & fact19 -> int3: 「その願いは偏りだ一方で文字列操作でない」ということは誤っている; int2 & int3 -> int4: その願いは見た目チェックでない; fact23 & fact21 -> int5: その願いは大きくないし類似品でない; fact16 & int5 -> int6: 「その願いは割り算しない」ということは成り立つ; int4 & int6 -> int7: その願いは見た目チェックでないししかもそれは割り算しない; fact17 & int7 -> int8: あの有給は広過ぎない; fact20 & int8 -> int9: その葉菜は切り易くなくてかつそれは人恋しくない; int9 -> int10: その葉菜は人恋しくない; int10 -> int11: とある物は人恋しくない;
$facts$ = fact1: この婆は優しい fact2: もし仮にその願いは閉鎖しないなら「それは偏りであるけれど文字列操作でない」ということは成り立たない fact3: その願いは閉鎖しない fact4: もしもあの経年が再組織化するとしたらこの婆は優しいがしかしそれは転移巣でない fact5: 「研究対象でない」物はある fact6: もし仮にその願いが大きくないしさらに類似品でないとすればそれは割り算しない fact7: もしもその願いが成熟化すれば手早い fact8: 仮にその願いが見た目チェックでないしさらにそれが割り算しないとすればあの有給は広過ぎるということはない fact9: 「研究対象でない」物があるとしたらその願いは大きいということはなくてそれは類似品でない fact10: もしこの婆が優しいとするとそれは転移巣である fact11: もし仮にあの有給が広過ぎないとしたらその葉菜は切り易くないし人恋しくない fact12: もしもなにかは新バージョンでない一方でそれは渓流釣りであるとしたらそれは再組織化する fact13: 「「何かは偏りである一方でそれは文字列操作でない」ということは成り立つ」ということは偽だとするとそれは見た目チェックでない ; $hypothesis$ = この婆は転移巣でない ; $proof$ = 
fact10 & fact1 -> hypothesis; __DISPROVED__
事実1: この婆は優しい
事実2: もし仮にその願いは閉鎖しないなら「それは偏りであるけれど文字列操作でない」ということは成り立たない
事実3: その願いは閉鎖しない
事実4: もしもあの経年が再組織化するとしたらこの婆は優しいがしかしそれは転移巣でない
事実5: 「研究対象でない」物はある
事実6: もし仮にその願いが大きくないしさらに類似品でないとすればそれは割り算しない
事実7: もしもその願いが成熟化すれば手早い
事実8: 仮にその願いが見た目チェックでないしさらにそれが割り算しないとすればあの有給は広過ぎるということはない
事実9: 「研究対象でない」物があるとしたらその願いは大きいということはなくてそれは類似品でない
事実10: もしこの婆が優しいとするとそれは転移巣である
事実11: もし仮にあの有給が広過ぎないとしたらその葉菜は切り易くないし人恋しくない
事実12: もしもなにかは新バージョンでない一方でそれは渓流釣りであるとしたらそれは再組織化する
事実13: 「「何かは偏りである一方でそれは文字列操作でない」ということは成り立つ」ということは偽だとするとそれは見た目チェックでない

仮説: この婆は転移巣でない
1. 事実10と事実1から、仮説が否定される

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