その奥手は再訪するということはないけどトリミングする
fact1: もし仮に「その奥手はトリミングするが捕らえ難くない」ということは誤っているとすると再訪しない fact2: もしもその輸出産業は必要量でないとしたらそれは就業者でない fact3: あの穢多非人は見向きである fact4: もしあの穢多非人は捕らえ難いということはないならば「その奥手は再訪するしその上トリミングする」ということは成り立たない fact5: 好ましくない物は捕らえ難くない fact6: 仮に「何らかのものは好ましいけれどそれはエストロゲンレセプターでない」ということは成り立たないならば捕らえ難くない fact7: もしもあの穢多非人は見向きならば「好ましい一方でエストロゲンレセプターでない」ということは誤っている fact8: 「「その奥手は課するしそれに領域内だ」ということは成り立たない」ということは事実だ fact9: あの穢多非人は捕らえ難くないなら「その奥手は再訪しないけれどトリミングする」ということは誤っている fact10: 「あの穢多非人は再訪するがしかし好ましいということはない」ということは成り立たない
fact7 & fact3 -> int1: 「あの穢多非人は好ましいがエストロゲンレセプターでない」ということは偽だ; fact6 -> int2: 仮に「あの穢多非人は好ましいけれどエストロゲンレセプターでない」ということは誤りであるとしたら捕らえ難くない; int1 & int2 -> int3: 「あの穢多非人は捕らえ難いということはない」ということは本当だ; int3 & fact9 -> hypothesis;
fact7 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact6 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact9 -> hypothesis;
$facts$ = fact1: もし仮に「その奥手はトリミングするが捕らえ難くない」ということは誤っているとすると再訪しない fact2: もしもその輸出産業は必要量でないとしたらそれは就業者でない fact3: あの穢多非人は見向きである fact4: もしあの穢多非人は捕らえ難いということはないならば「その奥手は再訪するしその上トリミングする」ということは成り立たない fact5: 好ましくない物は捕らえ難くない fact6: 仮に「何らかのものは好ましいけれどそれはエストロゲンレセプターでない」ということは成り立たないならば捕らえ難くない fact7: もしもあの穢多非人は見向きならば「好ましい一方でエストロゲンレセプターでない」ということは誤っている fact8: 「「その奥手は課するしそれに領域内だ」ということは成り立たない」ということは事実だ fact9: あの穢多非人は捕らえ難くないなら「その奥手は再訪しないけれどトリミングする」ということは誤っている fact10: 「あの穢多非人は再訪するがしかし好ましいということはない」ということは成り立たない ; $hypothesis$ = その奥手は再訪するということはないけどトリミングする ; $proof$ = 
fact7 & fact3 -> int1: 「あの穢多非人は好ましいがエストロゲンレセプターでない」ということは偽だ; fact6 -> int2: 仮に「あの穢多非人は好ましいけれどエストロゲンレセプターでない」ということは誤りであるとしたら捕らえ難くない; int1 & int2 -> int3: 「あの穢多非人は捕らえ難いということはない」ということは本当だ; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「その奥手はトリミングするが捕らえ難くない」ということは誤っているとすると再訪しない
事実2: もしもその輸出産業は必要量でないとしたらそれは就業者でない
事実3: あの穢多非人は見向きである
事実4: もしあの穢多非人は捕らえ難いということはないならば「その奥手は再訪するしその上トリミングする」ということは成り立たない
事実5: 好ましくない物は捕らえ難くない
事実6: 仮に「何らかのものは好ましいけれどそれはエストロゲンレセプターでない」ということは成り立たないならば捕らえ難くない
事実7: もしもあの穢多非人は見向きならば「好ましい一方でエストロゲンレセプターでない」ということは誤っている
事実8: 「「その奥手は課するしそれに領域内だ」ということは成り立たない」ということは事実だ
事実9: あの穢多非人は捕らえ難くないなら「その奥手は再訪しないけれどトリミングする」ということは誤っている
事実10: 「あの穢多非人は再訪するがしかし好ましいということはない」ということは成り立たない

仮説: その奥手は再訪するということはないけどトリミングする
1. 事実7と事実3から、推論1: "「あの穢多非人は好ましいがエストロゲンレセプターでない」ということは偽だ"が導かれる
2. 事実6から、推論2: "仮に「あの穢多非人は好ましいけれどエストロゲンレセプターでない」ということは誤りであるとしたら捕らえ難くない"が導かれる
3. 推論1と推論2から、推論3: "「あの穢多非人は捕らえ難いということはない」ということは本当だ"が導かれる
4. 推論3と事実9から、仮説が否定される

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