このアイドル歌手はみっとも可愛くない
fact1: もし「きらめき渡らない」ものがあるとするとあの新会員は上り始めるがしかし雷雲だということはない fact2: もし何らかのものが地鳥だとするとこのアイドル歌手はみっとも可愛い fact3: もし仮にあるものが上り始める一方でそれは雷雲でないとするとそれは弁解がましい fact4: もしあの新会員は弁解がましいとしたら「この登録票は地鳥である」ということは本当だ fact5: 「きらめき渡るということはない」物はある
fact5 & fact1 -> int1: あの新会員は上り始めるがしかし雷雲でない; fact3 -> int2: 仮にあの新会員は上り始めるが雷雲でないとすると弁解がましい; int1 & int2 -> int3: あの新会員は弁解がましい; int3 & fact4 -> int4: この登録票は地鳥である; int4 -> int5: 「地鳥である」物はある; int5 & fact2 -> hypothesis;
$facts$ = fact1: もし「きらめき渡らない」ものがあるとするとあの新会員は上り始めるがしかし雷雲だということはない fact2: もし何らかのものが地鳥だとするとこのアイドル歌手はみっとも可愛い fact3: もし仮にあるものが上り始める一方でそれは雷雲でないとするとそれは弁解がましい fact4: もしあの新会員は弁解がましいとしたら「この登録票は地鳥である」ということは本当だ fact5: 「きらめき渡るということはない」物はある ; $hypothesis$ = このアイドル歌手はみっとも可愛くない ; $proof$ = 
fact5 & fact1 -> int1: あの新会員は上り始めるがしかし雷雲でない; fact3 -> int2: 仮にあの新会員は上り始めるが雷雲でないとすると弁解がましい; int1 & int2 -> int3: あの新会員は弁解がましい; int3 & fact4 -> int4: この登録票は地鳥である; int4 -> int5: 「地鳥である」物はある; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「きらめき渡らない」ものがあるとするとあの新会員は上り始めるがしかし雷雲だということはない
事実2: もし何らかのものが地鳥だとするとこのアイドル歌手はみっとも可愛い
事実3: もし仮にあるものが上り始める一方でそれは雷雲でないとするとそれは弁解がましい
事実4: もしあの新会員は弁解がましいとしたら「この登録票は地鳥である」ということは本当だ
事実5: 「きらめき渡るということはない」物はある

仮説: このアイドル歌手はみっとも可愛くない
1. 事実5と事実1から、推論1: "あの新会員は上り始めるがしかし雷雲でない"が導かれる
2. 事実3から、推論2: "仮にあの新会員は上り始めるが雷雲でないとすると弁解がましい"が導かれる
3. 推論1と推論2から、推論3: "あの新会員は弁解がましい"が導かれる
4. 推論3と事実4から、推論4: "この登録票は地鳥である"が導かれる
5. 推論4から、推論5: "「地鳥である」物はある"が導かれる
6. 推論5と事実2から、仮説が否定される

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