その一つ年下は縮小でない
fact1: このリチウム原子は立て易い fact2: もし「なにがしかの物は中世初期都市・農村関係だ一方で愚かしくない」ということは成り立つということはないとすると生活記録である fact3: あのハードリンクは甘いとすれば「中世初期都市・農村関係であるしかつそれは愚かしくない」ということは成り立つということはない fact4: もし「「ピクトグラムである一方で讒言だということはない」ということは間違っている」ものがあるとすればあの一つ年下は讒言である fact5: もし「「縮小でないしそれに立て易くない」ということは成り立つということはない」ものがあればこのバーチャルは打ち明けない fact6: その一つ年下は立て易い fact7: 仮になにかは打ち明けるしかつそれが縮小ならばそれは立て易くない fact8: あのハードリンクは甘い fact9: もしもなにかは生活記録であるとしたらそれはバレーでないしそれは小さくない fact10: もしも何らかの物は讒言であるならば「縮小でないしそれは立て易くない」ということは誤りだ fact11: その一つ年下は打ち明ける fact12: もしあのハードリンクはバレーでないとすると「ピクトグラムだし讒言でない」ということは事実と異なる
void -> assump1: 以下のように仮定する。「その一つ年下は縮小だ」ということは成り立つ; fact11 & assump1 -> int1: その一つ年下は打ち明けるしさらに縮小である; fact7 -> int2: もしも「その一つ年下は打ち明けるしそれは縮小である」ということは真実であるとするとそれは立て易いということはない; int1 & int2 -> int3: その一つ年下は立て易いということはない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「このバーチャルは打ち明けない」ということは成り立つ
fact14 -> int5: その一つ年下は讒言だとすれば「それは縮小でないし加えてそれは立て易くない」ということは成り立つということはない; fact19 -> int6: あのハードリンクが生活記録であるとすればバレーでなくてその上それは小さくない; fact16 -> int7: 仮に「あのハードリンクは中世初期都市・農村関係だ一方で愚かしくない」ということは成り立つということはないなら「それは生活記録である」ということは本当だ; fact17 & fact15 -> int8: 「「あのハードリンクは中世初期都市・農村関係だ一方で愚かしいということはない」ということは成り立つ」ということは成り立たない; int7 & int8 -> int9: あのハードリンクは生活記録だ; int6 & int9 -> int10: あのハードリンクはバレーでないし小さくない; int10 -> int11: あのハードリンクはバレーでない; fact13 & int11 -> int12: 「あのハードリンクはピクトグラムだがしかし讒言でない」ということは誤っている; int12 -> int13: 「「ピクトグラムだしさらに讒言でない」ということは事実でない」ものはある; int13 & fact20 -> int14: その一つ年下は讒言である; int5 & int14 -> int15: 「その一つ年下は縮小であるということはなくてしかもそれは立て易いということはない」ということは間違っている; int15 -> int16: 「「縮小でなくて立て易くない」ということは事実と異なる」ものはある; int16 & fact18 -> hypothesis;
$facts$ = fact1: このリチウム原子は立て易い fact2: もし「なにがしかの物は中世初期都市・農村関係だ一方で愚かしくない」ということは成り立つということはないとすると生活記録である fact3: あのハードリンクは甘いとすれば「中世初期都市・農村関係であるしかつそれは愚かしくない」ということは成り立つということはない fact4: もし「「ピクトグラムである一方で讒言だということはない」ということは間違っている」ものがあるとすればあの一つ年下は讒言である fact5: もし「「縮小でないしそれに立て易くない」ということは成り立つということはない」ものがあればこのバーチャルは打ち明けない fact6: その一つ年下は立て易い fact7: 仮になにかは打ち明けるしかつそれが縮小ならばそれは立て易くない fact8: あのハードリンクは甘い fact9: もしもなにかは生活記録であるとしたらそれはバレーでないしそれは小さくない fact10: もしも何らかの物は讒言であるならば「縮小でないしそれは立て易くない」ということは誤りだ fact11: その一つ年下は打ち明ける fact12: もしあのハードリンクはバレーでないとすると「ピクトグラムだし讒言でない」ということは事実と異なる ; $hypothesis$ = その一つ年下は縮小でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その一つ年下は縮小だ」ということは成り立つ; fact11 & assump1 -> int1: その一つ年下は打ち明けるしさらに縮小である; fact7 -> int2: もしも「その一つ年下は打ち明けるしそれは縮小である」ということは真実であるとするとそれは立て易いということはない; int1 & int2 -> int3: その一つ年下は立て易いということはない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: このリチウム原子は立て易い
事実2: もし「なにがしかの物は中世初期都市・農村関係だ一方で愚かしくない」ということは成り立つということはないとすると生活記録である
事実3: あのハードリンクは甘いとすれば「中世初期都市・農村関係であるしかつそれは愚かしくない」ということは成り立つということはない
事実4: もし「「ピクトグラムである一方で讒言だということはない」ということは間違っている」ものがあるとすればあの一つ年下は讒言である
事実5: もし「「縮小でないしそれに立て易くない」ということは成り立つということはない」ものがあればこのバーチャルは打ち明けない
事実6: その一つ年下は立て易い
事実7: 仮になにかは打ち明けるしかつそれが縮小ならばそれは立て易くない
事実8: あのハードリンクは甘い
事実9: もしもなにかは生活記録であるとしたらそれはバレーでないしそれは小さくない
事実10: もしも何らかの物は讒言であるならば「縮小でないしそれは立て易くない」ということは誤りだ
事実11: その一つ年下は打ち明ける
事実12: もしあのハードリンクはバレーでないとすると「ピクトグラムだし讒言でない」ということは事実と異なる

仮説: その一つ年下は縮小でない
1. 仮定1: 以下のように仮定する。「その一つ年下は縮小だ」ということは成り立つ
2. 事実11と仮定1から、推論1: "その一つ年下は打ち明けるしさらに縮小である"が導かれる
3. 事実7から、推論2: "もしも「その一つ年下は打ち明けるしそれは縮小である」ということは真実であるとするとそれは立て易いということはない"が導かれる
4. 推論1と推論2から、推論3: "その一つ年下は立て易いということはない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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