「そのマレー系は白々しい情報通信だ」ということは事実だ
fact1: 青鮫は相殺適状だ fact2: その借地は打ち返さないとすれば「そのマレー系は白々しいしその上情報通信だ」ということは真実だということはない fact3: 酸化し難いものは気付き難いということはない fact4: あの合わせ鏡は打ち返さないとすれば「その天女像は青鮫である」ということは正しい fact5: 「その借地は物凄ーいしその上京王線である」ということは誤りだ fact6: そのマレー系は白々しい fact7: もし仮にその借地は鑑賞し易くないとしたら「あの合わせ鏡は打ち返すが京王線でない」ということは成り立たない fact8: 気付き難い物は鑑賞し易い fact9: もしもその借地は白々しいならば「それは利用し難いということはない」ということは成り立つ fact10: もし仮にその天女像が相殺適状であるならあの手振れ防止機能は千秋楽である fact11: 「その借地は敬するし白々しい」ということは偽だ fact12: 仮にその借地は敬するとしたら「それは鑑賞し易いということはない」ということは正しい fact13: 「もしもそのマレー系が白々しいならそのマレー系は敬する」ということは事実である fact14: その借地は敬するかまたは物凄ーいということはない fact15: 「この医療費抑制は縫製でそれに物凄ーい」ということは成り立たない fact16: 仮にあの手振れ防止機能が気付き難くないならばそのマレー系が白々しいしその上情報通信である fact17: もし仮にその天女像が京王線でないならばあの合わせ鏡は打ち返さないけれどそれは鑑賞し易い fact18: その天女像は気付き難い fact19: その天女像は敬する fact20: もしもその借地が敬するかあるいは物凄ーくないとすると「鑑賞し易くない」ということは真実だ fact21: その天女像はさり気無い fact22: あの手振れ防止機能は敬しない fact23: もし仮に「あの合わせ鏡は打ち返すけど京王線でない」ということは嘘であるとしたらその天女像は青鮫だ fact24: 仮にあの手振れ防止機能が千秋楽だとするとそれは酸化し難い fact25: もしもあの合わせ鏡が打ち返さないが鑑賞し易いとするとその借地は打ち返さない
fact20 & fact14 -> int1: その借地は鑑賞し易くない; int1 & fact7 -> int2: 「あの合わせ鏡は打ち返すけれど京王線でない」ということは間違いだ; int2 & fact23 -> int3: 「その天女像は青鮫だ」ということは正しい; fact1 -> int4: もしその天女像が青鮫ならそれは相殺適状である; int3 & int4 -> int5: 「その天女像は相殺適状である」ということは成り立つ; int5 & fact10 -> int6: あの手振れ防止機能は千秋楽だ; int6 & fact24 -> int7: あの手振れ防止機能は酸化し難い; fact3 -> int8: 仮にあの手振れ防止機能が酸化し難いなら気付き難くない; int7 & int8 -> int9: あの手振れ防止機能は気付き難くない; int9 & fact16 -> hypothesis;
「そのマレー系は白々しくてまた情報通信である」ということは偽である
$facts$ = fact1: 青鮫は相殺適状だ fact2: その借地は打ち返さないとすれば「そのマレー系は白々しいしその上情報通信だ」ということは真実だということはない fact3: 酸化し難いものは気付き難いということはない fact4: あの合わせ鏡は打ち返さないとすれば「その天女像は青鮫である」ということは正しい fact5: 「その借地は物凄ーいしその上京王線である」ということは誤りだ fact6: そのマレー系は白々しい fact7: もし仮にその借地は鑑賞し易くないとしたら「あの合わせ鏡は打ち返すが京王線でない」ということは成り立たない fact8: 気付き難い物は鑑賞し易い fact9: もしもその借地は白々しいならば「それは利用し難いということはない」ということは成り立つ fact10: もし仮にその天女像が相殺適状であるならあの手振れ防止機能は千秋楽である fact11: 「その借地は敬するし白々しい」ということは偽だ fact12: 仮にその借地は敬するとしたら「それは鑑賞し易いということはない」ということは正しい fact13: 「もしもそのマレー系が白々しいならそのマレー系は敬する」ということは事実である fact14: その借地は敬するかまたは物凄ーいということはない fact15: 「この医療費抑制は縫製でそれに物凄ーい」ということは成り立たない fact16: 仮にあの手振れ防止機能が気付き難くないならばそのマレー系が白々しいしその上情報通信である fact17: もし仮にその天女像が京王線でないならばあの合わせ鏡は打ち返さないけれどそれは鑑賞し易い fact18: その天女像は気付き難い fact19: その天女像は敬する fact20: もしもその借地が敬するかあるいは物凄ーくないとすると「鑑賞し易くない」ということは真実だ fact21: その天女像はさり気無い fact22: あの手振れ防止機能は敬しない fact23: もし仮に「あの合わせ鏡は打ち返すけど京王線でない」ということは嘘であるとしたらその天女像は青鮫だ fact24: 仮にあの手振れ防止機能が千秋楽だとするとそれは酸化し難い fact25: もしもあの合わせ鏡が打ち返さないが鑑賞し易いとするとその借地は打ち返さない ; $hypothesis$ = 「そのマレー系は白々しい情報通信だ」ということは事実だ ; $proof$ = 
fact20 & fact14 -> int1: その借地は鑑賞し易くない; int1 & fact7 -> int2: 「あの合わせ鏡は打ち返すけれど京王線でない」ということは間違いだ; int2 & fact23 -> int3: 「その天女像は青鮫だ」ということは正しい; fact1 -> int4: もしその天女像が青鮫ならそれは相殺適状である; int3 & int4 -> int5: 「その天女像は相殺適状である」ということは成り立つ; int5 & fact10 -> int6: あの手振れ防止機能は千秋楽だ; int6 & fact24 -> int7: あの手振れ防止機能は酸化し難い; fact3 -> int8: 仮にあの手振れ防止機能が酸化し難いなら気付き難くない; int7 & int8 -> int9: あの手振れ防止機能は気付き難くない; int9 & fact16 -> hypothesis; __PROVED__
事実1: 青鮫は相殺適状だ
事実2: その借地は打ち返さないとすれば「そのマレー系は白々しいしその上情報通信だ」ということは真実だということはない
事実3: 酸化し難いものは気付き難いということはない
事実4: あの合わせ鏡は打ち返さないとすれば「その天女像は青鮫である」ということは正しい
事実5: 「その借地は物凄ーいしその上京王線である」ということは誤りだ
事実6: そのマレー系は白々しい
事実7: もし仮にその借地は鑑賞し易くないとしたら「あの合わせ鏡は打ち返すが京王線でない」ということは成り立たない
事実8: 気付き難い物は鑑賞し易い
事実9: もしもその借地は白々しいならば「それは利用し難いということはない」ということは成り立つ
事実10: もし仮にその天女像が相殺適状であるならあの手振れ防止機能は千秋楽である
事実11: 「その借地は敬するし白々しい」ということは偽だ
事実12: 仮にその借地は敬するとしたら「それは鑑賞し易いということはない」ということは正しい
事実13: 「もしもそのマレー系が白々しいならそのマレー系は敬する」ということは事実である
事実14: その借地は敬するかまたは物凄ーいということはない
事実15: 「この医療費抑制は縫製でそれに物凄ーい」ということは成り立たない
事実16: 仮にあの手振れ防止機能が気付き難くないならばそのマレー系が白々しいしその上情報通信である
事実17: もし仮にその天女像が京王線でないならばあの合わせ鏡は打ち返さないけれどそれは鑑賞し易い
事実18: その天女像は気付き難い
事実19: その天女像は敬する
事実20: もしもその借地が敬するかあるいは物凄ーくないとすると「鑑賞し易くない」ということは真実だ
事実21: その天女像はさり気無い
事実22: あの手振れ防止機能は敬しない
事実23: もし仮に「あの合わせ鏡は打ち返すけど京王線でない」ということは嘘であるとしたらその天女像は青鮫だ
事実24: 仮にあの手振れ防止機能が千秋楽だとするとそれは酸化し難い
事実25: もしもあの合わせ鏡が打ち返さないが鑑賞し易いとするとその借地は打ち返さない

仮説: 「そのマレー系は白々しい情報通信だ」ということは事実だ
1. 事実20と事実14から、推論1: "その借地は鑑賞し易くない"が導かれる
2. 推論1と事実7から、推論2: "「あの合わせ鏡は打ち返すけれど京王線でない」ということは間違いだ"が導かれる
3. 推論2と事実23から、推論3: "「その天女像は青鮫だ」ということは正しい"が導かれる
4. 事実1から、推論4: "もしその天女像が青鮫ならそれは相殺適状である"が導かれる
5. 推論3と推論4から、推論5: "「その天女像は相殺適状である」ということは成り立つ"が導かれる
6. 推論5と事実10から、推論6: "あの手振れ防止機能は千秋楽だ"が導かれる
7. 推論6と事実24から、推論7: "あの手振れ防止機能は酸化し難い"が導かれる
8. 事実3から、推論8: "仮にあの手振れ防止機能が酸化し難いなら気付き難くない"が導かれる
9. 推論7と推論8から、推論9: "あの手振れ防止機能は気付き難くない"が導かれる
10. 推論9と事実16から、仮説が導かれる

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