「「遠しということはないとしたら「僻みっぽいし更に長剣でない」ということは真実である」ものはある」ということは間違いだ
fact1: もし仮にその配線図が曲率半径Ｒでないとすれば使い難いしまた遠し fact2: この喪主が遠しないとするとそれは僻みっぽい一方で長剣だということはない fact3: 「「出し入れだ」ということは真実だとするとうっとりするけれど止み難くない」ものはある fact4: この喪主が身体化すれば扱い難いけど会釈しない fact5: 押し易くない物は出し入れだがしかし自動返信しない fact6: 「「もし遠しなら「僻みっぽいしさらに長剣でない」ということは成り立つ」物はある」ということは誤っていない fact7: 「もし仮に遠しないならば僻みっぽい」ものはある fact8: もしこの喪主が遠しということはないなら僻みっぽい fact9: 「もし「遠しない」ということは成り立つなら「長剣でない」ということは本当な」物はある fact10: 「もし仮に遠しということはないとしたら僻みっぽいしその上長剣な」ものはある fact11: 「仮に波音だとすれば評定するしコーナー連結するということはない」ものはある fact12: 仮に「この喪主は検索出来る」ということは正しいとしたら評定するししかもぽんしない
fact2 -> hypothesis;
「仮に押し易くないとしたら出し入れだが自動返信しない」ものはある
fact13 -> int1: 仮にあの習慣が押し易くないとすれば出し入れであるしさらにそれは自動返信しない; int1 -> hypothesis;
$facts$ = fact1: もし仮にその配線図が曲率半径Ｒでないとすれば使い難いしまた遠し fact2: この喪主が遠しないとするとそれは僻みっぽい一方で長剣だということはない fact3: 「「出し入れだ」ということは真実だとするとうっとりするけれど止み難くない」ものはある fact4: この喪主が身体化すれば扱い難いけど会釈しない fact5: 押し易くない物は出し入れだがしかし自動返信しない fact6: 「「もし遠しなら「僻みっぽいしさらに長剣でない」ということは成り立つ」物はある」ということは誤っていない fact7: 「もし仮に遠しないならば僻みっぽい」ものはある fact8: もしこの喪主が遠しということはないなら僻みっぽい fact9: 「もし「遠しない」ということは成り立つなら「長剣でない」ということは本当な」物はある fact10: 「もし仮に遠しということはないとしたら僻みっぽいしその上長剣な」ものはある fact11: 「仮に波音だとすれば評定するしコーナー連結するということはない」ものはある fact12: 仮に「この喪主は検索出来る」ということは正しいとしたら評定するししかもぽんしない ; $hypothesis$ = 「「遠しということはないとしたら「僻みっぽいし更に長剣でない」ということは真実である」ものはある」ということは間違いだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にその配線図が曲率半径Ｒでないとすれば使い難いしまた遠し
事実2: この喪主が遠しないとするとそれは僻みっぽい一方で長剣だということはない
事実3: 「「出し入れだ」ということは真実だとするとうっとりするけれど止み難くない」ものはある
事実4: この喪主が身体化すれば扱い難いけど会釈しない
事実5: 押し易くない物は出し入れだがしかし自動返信しない
事実6: 「「もし遠しなら「僻みっぽいしさらに長剣でない」ということは成り立つ」物はある」ということは誤っていない
事実7: 「もし仮に遠しないならば僻みっぽい」ものはある
事実8: もしこの喪主が遠しということはないなら僻みっぽい
事実9: 「もし「遠しない」ということは成り立つなら「長剣でない」ということは本当な」物はある
事実10: 「もし仮に遠しということはないとしたら僻みっぽいしその上長剣な」ものはある
事実11: 「仮に波音だとすれば評定するしコーナー連結するということはない」ものはある
事実12: 仮に「この喪主は検索出来る」ということは正しいとしたら評定するししかもぽんしない

仮説: 「「遠しということはないとしたら「僻みっぽいし更に長剣でない」ということは真実である」ものはある」ということは間違いだ
1. 事実2から、仮説が否定される

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