この過敏反応はラケットでない
fact1: この過敏反応が動き難いならあの環境マネジメントシステム監査はラケットである fact2: あの環境マネジメントシステム監査はラケットだ fact3: このイオン交換膜は動き難い fact4: 「このイオン交換膜はラケットだ」ということは成り立つ fact5: 仮にあの環境マネジメントシステム監査がラケットであるし更に捻出すればこの過敏反応はラケットでない fact6: このイオン交換膜がラケットであるとするとこの過敏反応は捻出する fact7: あのＲＦＰはラケットである fact8: この口添えは動き難い fact9: このイオン交換膜は彼らしい fact10: 「このトリアムシノロンは動き難い」ということは事実である fact11: あの環境マネジメントシステム監査は動き難い fact12: 仮にあの環境マネジメントシステム監査がラケットだとしたらこの過敏反応は動き難い fact13: もしあの環境マネジメントシステム監査は動き難いなら「このイオン交換膜は捻出する」ということは真実である fact14: このイオン交換膜は作曲する fact15: もしこのイオン交換膜が捻出するとするとこの過敏反応はラケットだ
fact13 & fact11 -> int1: このイオン交換膜は捻出する; int1 & fact15 -> hypothesis;
fact13 & fact11 -> int1: {B}{b}; int1 & fact15 -> hypothesis;
「この過敏反応はラケットでない」ということは誤りでない
$facts$ = fact1: この過敏反応が動き難いならあの環境マネジメントシステム監査はラケットである fact2: あの環境マネジメントシステム監査はラケットだ fact3: このイオン交換膜は動き難い fact4: 「このイオン交換膜はラケットだ」ということは成り立つ fact5: 仮にあの環境マネジメントシステム監査がラケットであるし更に捻出すればこの過敏反応はラケットでない fact6: このイオン交換膜がラケットであるとするとこの過敏反応は捻出する fact7: あのＲＦＰはラケットである fact8: この口添えは動き難い fact9: このイオン交換膜は彼らしい fact10: 「このトリアムシノロンは動き難い」ということは事実である fact11: あの環境マネジメントシステム監査は動き難い fact12: 仮にあの環境マネジメントシステム監査がラケットだとしたらこの過敏反応は動き難い fact13: もしあの環境マネジメントシステム監査は動き難いなら「このイオン交換膜は捻出する」ということは真実である fact14: このイオン交換膜は作曲する fact15: もしこのイオン交換膜が捻出するとするとこの過敏反応はラケットだ ; $hypothesis$ = この過敏反応はラケットでない ; $proof$ = 
fact13 & fact11 -> int1: このイオン交換膜は捻出する; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: この過敏反応が動き難いならあの環境マネジメントシステム監査はラケットである
事実2: あの環境マネジメントシステム監査はラケットだ
事実3: このイオン交換膜は動き難い
事実4: 「このイオン交換膜はラケットだ」ということは成り立つ
事実5: 仮にあの環境マネジメントシステム監査がラケットであるし更に捻出すればこの過敏反応はラケットでない
事実6: このイオン交換膜がラケットであるとするとこの過敏反応は捻出する
事実7: あのＲＦＰはラケットである
事実8: この口添えは動き難い
事実9: このイオン交換膜は彼らしい
事実10: 「このトリアムシノロンは動き難い」ということは事実である
事実11: あの環境マネジメントシステム監査は動き難い
事実12: 仮にあの環境マネジメントシステム監査がラケットだとしたらこの過敏反応は動き難い
事実13: もしあの環境マネジメントシステム監査は動き難いなら「このイオン交換膜は捻出する」ということは真実である
事実14: このイオン交換膜は作曲する
事実15: もしこのイオン交換膜が捻出するとするとこの過敏反応はラケットだ

仮説: この過敏反応はラケットでない
1. 事実13と事実11から、推論1: "このイオン交換膜は捻出する"が導かれる
2. 推論1と事実15から、仮説が否定される

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