「あの診断企業は出航するかそれは意地悪くないか両方だ」ということは間違いである
fact1: あの診断企業は兄島だ fact2: 「その播種は加筆しないしそれは腑甲斐無くない」ということは誤っていればその記録メディアは清々しい fact3: 仮にその播種は取り締まり規則だとすれば「それは加筆しなくてまたそれは腑甲斐無くない」ということは間違っている fact4: もしもあの診断企業が脱がさないとしたらそれは出航するかあるいはそれは意地悪い fact5: あの再領土化は清々しい fact6: 仮にあの診断企業が脱がさないなら出航するか意地悪くないか両方ともだ fact7: あの診断企業は出航するか意地悪いかあるいは両方ともだ fact8: あの診断企業は清々しい fact9: 仮にあの診断企業は清々しくて住み難いとすれば脱がさない fact10: もし「清々しい」物があるならばあの土地売却は住み難いか清々しいか両方ともだ fact11: 仮に何かは清々しくないなら「出航するかあるいは意地悪くない」ということは確かでない fact12: もしもこの土地売却が住み難いとすればあの診断企業は遅配である fact13: その癌征圧は取り締まり規則だ fact14: もしその中世城館が荒くないならばそれは味気無いかもしくはそれは清々しくない fact15: もし「この土地売却は清々しい」ということは真実だとすればあの診断企業は遅配である fact16: あの診断企業は住み難い fact17: 仮にあの第三十五話は取れ難くないとしたら「「可笑しないしかつど偉くない」ということは確かだ」ということは誤りだ fact18: 「あの第三十五話は可笑しないし加えてそれはど偉くない」ということは偽ならその代価・利息は意地悪い fact19: あの診断企業は通り難い fact20: 仮にその癌征圧が取り締まり規則だとするとその播種は取り締まり規則だ
fact8 & fact16 -> int1: 「あの診断企業は清々しいし住み難い」ということは成り立つ; int1 & fact9 -> int2: あの診断企業は脱がさない; int2 & fact6 -> hypothesis;
fact8 & fact16 -> int1: ({A}{a} & {B}{a}); int1 & fact9 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis;
「あの診断企業は出航するかもしくは意地悪くないかもしくはどちらもである」ということは成り立つということはない
fact21 -> int3: 仮にあの診断企業は清々しくないならば「それは出航するかあるいはそれは意地悪くない」ということは成り立たない;
$facts$ = fact1: あの診断企業は兄島だ fact2: 「その播種は加筆しないしそれは腑甲斐無くない」ということは誤っていればその記録メディアは清々しい fact3: 仮にその播種は取り締まり規則だとすれば「それは加筆しなくてまたそれは腑甲斐無くない」ということは間違っている fact4: もしもあの診断企業が脱がさないとしたらそれは出航するかあるいはそれは意地悪い fact5: あの再領土化は清々しい fact6: 仮にあの診断企業が脱がさないなら出航するか意地悪くないか両方ともだ fact7: あの診断企業は出航するか意地悪いかあるいは両方ともだ fact8: あの診断企業は清々しい fact9: 仮にあの診断企業は清々しくて住み難いとすれば脱がさない fact10: もし「清々しい」物があるならばあの土地売却は住み難いか清々しいか両方ともだ fact11: 仮に何かは清々しくないなら「出航するかあるいは意地悪くない」ということは確かでない fact12: もしもこの土地売却が住み難いとすればあの診断企業は遅配である fact13: その癌征圧は取り締まり規則だ fact14: もしその中世城館が荒くないならばそれは味気無いかもしくはそれは清々しくない fact15: もし「この土地売却は清々しい」ということは真実だとすればあの診断企業は遅配である fact16: あの診断企業は住み難い fact17: 仮にあの第三十五話は取れ難くないとしたら「「可笑しないしかつど偉くない」ということは確かだ」ということは誤りだ fact18: 「あの第三十五話は可笑しないし加えてそれはど偉くない」ということは偽ならその代価・利息は意地悪い fact19: あの診断企業は通り難い fact20: 仮にその癌征圧が取り締まり規則だとするとその播種は取り締まり規則だ ; $hypothesis$ = 「あの診断企業は出航するかそれは意地悪くないか両方だ」ということは間違いである ; $proof$ = 
fact8 & fact16 -> int1: 「あの診断企業は清々しいし住み難い」ということは成り立つ; int1 & fact9 -> int2: あの診断企業は脱がさない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: あの診断企業は兄島だ
事実2: 「その播種は加筆しないしそれは腑甲斐無くない」ということは誤っていればその記録メディアは清々しい
事実3: 仮にその播種は取り締まり規則だとすれば「それは加筆しなくてまたそれは腑甲斐無くない」ということは間違っている
事実4: もしもあの診断企業が脱がさないとしたらそれは出航するかあるいはそれは意地悪い
事実5: あの再領土化は清々しい
事実6: 仮にあの診断企業が脱がさないなら出航するか意地悪くないか両方ともだ
事実7: あの診断企業は出航するか意地悪いかあるいは両方ともだ
事実8: あの診断企業は清々しい
事実9: 仮にあの診断企業は清々しくて住み難いとすれば脱がさない
事実10: もし「清々しい」物があるならばあの土地売却は住み難いか清々しいか両方ともだ
事実11: 仮に何かは清々しくないなら「出航するかあるいは意地悪くない」ということは確かでない
事実12: もしもこの土地売却が住み難いとすればあの診断企業は遅配である
事実13: その癌征圧は取り締まり規則だ
事実14: もしその中世城館が荒くないならばそれは味気無いかもしくはそれは清々しくない
事実15: もし「この土地売却は清々しい」ということは真実だとすればあの診断企業は遅配である
事実16: あの診断企業は住み難い
事実17: 仮にあの第三十五話は取れ難くないとしたら「「可笑しないしかつど偉くない」ということは確かだ」ということは誤りだ
事実18: 「あの第三十五話は可笑しないし加えてそれはど偉くない」ということは偽ならその代価・利息は意地悪い
事実19: あの診断企業は通り難い
事実20: 仮にその癌征圧が取り締まり規則だとするとその播種は取り締まり規則だ

仮説: 「あの診断企業は出航するかそれは意地悪くないか両方だ」ということは間違いである
1. 事実8と事実16から、推論1: "「あの診断企業は清々しいし住み難い」ということは成り立つ"が導かれる
2. 推論1と事実9から、推論2: "あの診断企業は脱がさない"が導かれる
3. 推論2と事実6から、仮説が否定される

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