「その使用可能期間は住み続けるしそれにそれは採集する」ということは誤っている
fact1: なにがしかの物は現行であるということはないとすれば「運動麻痺であるしかつ安心し切る」ということは嘘である fact2: 「ある物は運動麻痺でしかもそれは安心し切る」ということは間違っているとすればそれは未開地でない fact3: もし仮に何らかのものは増殖能でなくてそれに製造出来ないとしたら現行でない fact4: その使用可能期間は採集する fact5: 「その使用可能期間は逸らさない」ということは誤りでない fact6: もし何らかのものは未開地でないとすると「それは馳浩事務所でなくてそれは制御盤である」ということは間違っている fact7: 仮にこの三Ｅ検査は七条解散でないとすれば「その使用可能期間は住み続けるしさらにそれは採集する」ということは成り立たない fact8: もし仮にその使用可能期間は七条解散でないとするとそれは採集する fact9: このインスタンス変数は驚喜しない fact10: もし仮に「制御盤な」物はあるなら「この三Ｅ検査は七条解散だ一方でそれは逸らさない」ということは確かでない fact11: もし仮に「このインスタンス変数は馳浩事務所だということはないが制御盤だ」ということは真実でないならばこの王侯貴族は制御盤でない fact12: 仮にこの王侯貴族が逸らすししかも競うとするとこの三Ｅ検査は七条解散でない fact13: その使用可能期間は七条解散でないしさらに逸らさない fact14: もしも何かは制御盤でないなら逸らすしコンサートだ fact15: 仮にこのインスタンス変数が驚喜するということはないならば増殖能でないしそれにそれは製造出来ない fact16: もし「あのへまは広いということはない」ということは正しいなら量質でない fact17: とある物は七条解散でないとしたら採集する fact18: もしもなにがしかのものが七条解散でないとしたらそれは住み続けるしまた採集する fact19: 「あのへまは広くない」ということは事実だ
fact18 -> int1: その使用可能期間が七条解散でないならばそれは住み続けるし加えてそれは採集する; fact13 -> int2: その使用可能期間は七条解散でない; int1 & int2 -> hypothesis;
fact18 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact13 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
その使用可能期間は書き表わすし加えて採集する
$facts$ = fact1: なにがしかの物は現行であるということはないとすれば「運動麻痺であるしかつ安心し切る」ということは嘘である fact2: 「ある物は運動麻痺でしかもそれは安心し切る」ということは間違っているとすればそれは未開地でない fact3: もし仮に何らかのものは増殖能でなくてそれに製造出来ないとしたら現行でない fact4: その使用可能期間は採集する fact5: 「その使用可能期間は逸らさない」ということは誤りでない fact6: もし何らかのものは未開地でないとすると「それは馳浩事務所でなくてそれは制御盤である」ということは間違っている fact7: 仮にこの三Ｅ検査は七条解散でないとすれば「その使用可能期間は住み続けるしさらにそれは採集する」ということは成り立たない fact8: もし仮にその使用可能期間は七条解散でないとするとそれは採集する fact9: このインスタンス変数は驚喜しない fact10: もし仮に「制御盤な」物はあるなら「この三Ｅ検査は七条解散だ一方でそれは逸らさない」ということは確かでない fact11: もし仮に「このインスタンス変数は馳浩事務所だということはないが制御盤だ」ということは真実でないならばこの王侯貴族は制御盤でない fact12: 仮にこの王侯貴族が逸らすししかも競うとするとこの三Ｅ検査は七条解散でない fact13: その使用可能期間は七条解散でないしさらに逸らさない fact14: もしも何かは制御盤でないなら逸らすしコンサートだ fact15: 仮にこのインスタンス変数が驚喜するということはないならば増殖能でないしそれにそれは製造出来ない fact16: もし「あのへまは広いということはない」ということは正しいなら量質でない fact17: とある物は七条解散でないとしたら採集する fact18: もしもなにがしかのものが七条解散でないとしたらそれは住み続けるしまた採集する fact19: 「あのへまは広くない」ということは事実だ ; $hypothesis$ = 「その使用可能期間は住み続けるしそれにそれは採集する」ということは誤っている ; $proof$ = 
fact18 -> int1: その使用可能期間が七条解散でないならばそれは住み続けるし加えてそれは採集する; fact13 -> int2: その使用可能期間は七条解散でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なにがしかの物は現行であるということはないとすれば「運動麻痺であるしかつ安心し切る」ということは嘘である
事実2: 「ある物は運動麻痺でしかもそれは安心し切る」ということは間違っているとすればそれは未開地でない
事実3: もし仮に何らかのものは増殖能でなくてそれに製造出来ないとしたら現行でない
事実4: その使用可能期間は採集する
事実5: 「その使用可能期間は逸らさない」ということは誤りでない
事実6: もし何らかのものは未開地でないとすると「それは馳浩事務所でなくてそれは制御盤である」ということは間違っている
事実7: 仮にこの三Ｅ検査は七条解散でないとすれば「その使用可能期間は住み続けるしさらにそれは採集する」ということは成り立たない
事実8: もし仮にその使用可能期間は七条解散でないとするとそれは採集する
事実9: このインスタンス変数は驚喜しない
事実10: もし仮に「制御盤な」物はあるなら「この三Ｅ検査は七条解散だ一方でそれは逸らさない」ということは確かでない
事実11: もし仮に「このインスタンス変数は馳浩事務所だということはないが制御盤だ」ということは真実でないならばこの王侯貴族は制御盤でない
事実12: 仮にこの王侯貴族が逸らすししかも競うとするとこの三Ｅ検査は七条解散でない
事実13: その使用可能期間は七条解散でないしさらに逸らさない
事実14: もしも何かは制御盤でないなら逸らすしコンサートだ
事実15: 仮にこのインスタンス変数が驚喜するということはないならば増殖能でないしそれにそれは製造出来ない
事実16: もし「あのへまは広いということはない」ということは正しいなら量質でない
事実17: とある物は七条解散でないとしたら採集する
事実18: もしもなにがしかのものが七条解散でないとしたらそれは住み続けるしまた採集する
事実19: 「あのへまは広くない」ということは事実だ

仮説: 「その使用可能期間は住み続けるしそれにそれは採集する」ということは誤っている
1. 事実18から、推論1: "その使用可能期間が七条解散でないならばそれは住み続けるし加えてそれは採集する"が導かれる
2. 事実13から、推論2: "その使用可能期間は七条解散でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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