ある物は太しないし更に淡くない
fact1: 仮に何かは幻惑するとすると太しということはなくておまけに淡いということはない fact2: もしこの君が代少年は無碍光だとすると「この表示サイズは幻惑する」ということは真実だ fact3: もし何らかのものが幻惑するなら太しない fact4: この君が代少年が図々しいとしたらその左右其々は図々しい fact5: 「太しが淡くない」ものはある fact6: この君が代少年は無碍光であるしそれは徒らっぽい fact7: この君が代少年は徒らっぽい
fact6 -> int1: この君が代少年は無碍光である; int1 & fact2 -> int2: この表示サイズは幻惑する; fact1 -> int3: もしこの表示サイズが幻惑すればそれは太しないしまた淡くない; int2 & int3 -> int4: この表示サイズは太しないし淡くない; int4 -> hypothesis;
その左右其々は図々しくて淡い
$facts$ = fact1: 仮に何かは幻惑するとすると太しということはなくておまけに淡いということはない fact2: もしこの君が代少年は無碍光だとすると「この表示サイズは幻惑する」ということは真実だ fact3: もし何らかのものが幻惑するなら太しない fact4: この君が代少年が図々しいとしたらその左右其々は図々しい fact5: 「太しが淡くない」ものはある fact6: この君が代少年は無碍光であるしそれは徒らっぽい fact7: この君が代少年は徒らっぽい ; $hypothesis$ = ある物は太しないし更に淡くない ; $proof$ = 
fact6 -> int1: この君が代少年は無碍光である; int1 & fact2 -> int2: この表示サイズは幻惑する; fact1 -> int3: もしこの表示サイズが幻惑すればそれは太しないしまた淡くない; int2 & int3 -> int4: この表示サイズは太しないし淡くない; int4 -> hypothesis; __PROVED__
事実1: 仮に何かは幻惑するとすると太しということはなくておまけに淡いということはない
事実2: もしこの君が代少年は無碍光だとすると「この表示サイズは幻惑する」ということは真実だ
事実3: もし何らかのものが幻惑するなら太しない
事実4: この君が代少年が図々しいとしたらその左右其々は図々しい
事実5: 「太しが淡くない」ものはある
事実6: この君が代少年は無碍光であるしそれは徒らっぽい
事実7: この君が代少年は徒らっぽい

仮説: ある物は太しないし更に淡くない
1. 事実6から、推論1: "この君が代少年は無碍光である"が導かれる
2. 推論1と事実2から、推論2: "この表示サイズは幻惑する"が導かれる
3. 事実1から、推論3: "もしこの表示サイズが幻惑すればそれは太しないしまた淡くない"が導かれる
4. 推論2と推論3から、推論4: "この表示サイズは太しないし淡くない"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。