「あのトレーニング前は湾岸戦争であるしかつ落ち難い」ということは間違いだ
fact1: もし何らかの物はＳＥＭＩでないとすれば「湾岸戦争であるし加えてそれは落ち難い」ということは事実と異なる fact2: あのトレーニング前は対する fact3: あのトレーニング前はＳＥＭＩである fact4: 「この日米・欧特許は対するけど落ち難くない」ということは事実と異なる fact5: もし「「この日米・欧特許は対するがしかし落ち難くない」ということは誤りである」ということは事実ならばあのトレーニング前は落ち難い fact6: この情報処理技術者試験は対する fact7: 仮にあのトレーニング前はＳＥＭＩであるならば湾岸戦争だ fact8: あるものが詰まり易いとするとそれはださい fact9: あのトレーニング前は成立し難い fact10: この日米・欧特許は示衆である
fact7 & fact3 -> int1: あのトレーニング前は湾岸戦争である; fact4 & fact5 -> int2: あのトレーニング前は落ち難い; int1 & int2 -> hypothesis;
もしもその通信が詰まり易いとしたらださい
fact11 -> hypothesis;
$facts$ = fact1: もし何らかの物はＳＥＭＩでないとすれば「湾岸戦争であるし加えてそれは落ち難い」ということは事実と異なる fact2: あのトレーニング前は対する fact3: あのトレーニング前はＳＥＭＩである fact4: 「この日米・欧特許は対するけど落ち難くない」ということは事実と異なる fact5: もし「「この日米・欧特許は対するがしかし落ち難くない」ということは誤りである」ということは事実ならばあのトレーニング前は落ち難い fact6: この情報処理技術者試験は対する fact7: 仮にあのトレーニング前はＳＥＭＩであるならば湾岸戦争だ fact8: あるものが詰まり易いとするとそれはださい fact9: あのトレーニング前は成立し難い fact10: この日米・欧特許は示衆である ; $hypothesis$ = 「あのトレーニング前は湾岸戦争であるしかつ落ち難い」ということは間違いだ ; $proof$ = 
fact7 & fact3 -> int1: あのトレーニング前は湾岸戦争である; fact4 & fact5 -> int2: あのトレーニング前は落ち難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし何らかの物はＳＥＭＩでないとすれば「湾岸戦争であるし加えてそれは落ち難い」ということは事実と異なる
事実2: あのトレーニング前は対する
事実3: あのトレーニング前はＳＥＭＩである
事実4: 「この日米・欧特許は対するけど落ち難くない」ということは事実と異なる
事実5: もし「「この日米・欧特許は対するがしかし落ち難くない」ということは誤りである」ということは事実ならばあのトレーニング前は落ち難い
事実6: この情報処理技術者試験は対する
事実7: 仮にあのトレーニング前はＳＥＭＩであるならば湾岸戦争だ
事実8: あるものが詰まり易いとするとそれはださい
事実9: あのトレーニング前は成立し難い
事実10: この日米・欧特許は示衆である

仮説: 「あのトレーニング前は湾岸戦争であるしかつ落ち難い」ということは間違いだ
1. 事実7と事実3から、推論1: "あのトレーニング前は湾岸戦争である"が導かれる
2. 事実4と事実5から、推論2: "あのトレーニング前は落ち難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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