あの一時過ぎは若者らしい
fact1: もし仮にこの購入者が日本国語大辞典でないがしかし卵門だとするとそれは若者らしい fact2: もし仮に何らかのものは実施可能要件でないけれど愛着対象であるなら遠し fact3: 「男性化は遠しけど若者らしくない」ということは事実だ fact4: もしもこの購入者が実施可能要件だし加えてそれが愛着対象ならば遠し fact5: もしこの購入者が遠しとしたらあの一時過ぎは若者らしい fact6: もしもその選手生命が愛着対象だとすればこの購入者は遠しないけれど黒い fact7: 仮にあの一時過ぎが実施可能要件でないけどそれは若者らしいなら「それは黒い」ということは成り立つ fact8: 仮に「あの一時過ぎは甘え過ぎないしそれにそれは男性化でない」ということは成り立たないならば「この購入者は男性化だ」ということは成り立つ fact9: なんらかの物は遠しということはないとすれば「それは若者らしいし更に黒い」ということは誤っている fact10: あの初診時単純Ｘ線写真は遠し fact11: もし仮に「ある物は若者らしいし黒い」ということは間違いだとしたらそれは若者らしいということはない fact12: 「この購入者は若者らしい」ということは本当であるならあの一時過ぎは愛着対象でない fact13: 仮にその選手生命が黒いならばこの購入者は実施可能要件でないがそれは愛着対象だ fact14: 「あの一時過ぎは愛着対象だ」ということは事実だ fact15: もし仮にこの購入者が黒いとするとその選手生命は黒くない fact16: もしも「「その選手生命は男性化でないかもしくはそれは甘え過ぎる」ということは成り立つ」ということは事実と異なるなら「あの一時過ぎは遠しない」ということは正しい fact17: この購入者は実施可能要件でない fact18: もしも「その選手生命は黒い」ということは確かならば「この購入者は実施可能要件だということはない」ということは本当だ fact19: もしもその選手生命は黒くないとしたら「遠しないし若者らしい」ということは間違いだ fact20: もし実施可能要件は愛着対象であるとすればそれは遠し fact21: その選手生命は黒い
fact13 & fact21 -> int1: この購入者は実施可能要件でない一方で愛着対象だ; fact2 -> int2: もしも「この購入者は実施可能要件でないが愛着対象である」ということは真実なら遠し; int1 & int2 -> int3: 「この購入者は遠し」ということは本当である; int3 & fact5 -> hypothesis;
fact13 & fact21 -> int1: (¬{AA}{b} & {AB}{b}); fact2 -> int2: (¬{AA}{b} & {AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact5 -> hypothesis;
あの一時過ぎは若者らしくない
fact23 -> int4: もし「あの一時過ぎは若者らしいし更にそれは黒い」ということは成り立たないとしたらそれは若者らしくない; fact22 -> int5: 仮にあの一時過ぎは遠しないとすると「それが若者らしいしその上それは黒い」ということは誤っている;
$facts$ = fact1: もし仮にこの購入者が日本国語大辞典でないがしかし卵門だとするとそれは若者らしい fact2: もし仮に何らかのものは実施可能要件でないけれど愛着対象であるなら遠し fact3: 「男性化は遠しけど若者らしくない」ということは事実だ fact4: もしもこの購入者が実施可能要件だし加えてそれが愛着対象ならば遠し fact5: もしこの購入者が遠しとしたらあの一時過ぎは若者らしい fact6: もしもその選手生命が愛着対象だとすればこの購入者は遠しないけれど黒い fact7: 仮にあの一時過ぎが実施可能要件でないけどそれは若者らしいなら「それは黒い」ということは成り立つ fact8: 仮に「あの一時過ぎは甘え過ぎないしそれにそれは男性化でない」ということは成り立たないならば「この購入者は男性化だ」ということは成り立つ fact9: なんらかの物は遠しということはないとすれば「それは若者らしいし更に黒い」ということは誤っている fact10: あの初診時単純Ｘ線写真は遠し fact11: もし仮に「ある物は若者らしいし黒い」ということは間違いだとしたらそれは若者らしいということはない fact12: 「この購入者は若者らしい」ということは本当であるならあの一時過ぎは愛着対象でない fact13: 仮にその選手生命が黒いならばこの購入者は実施可能要件でないがそれは愛着対象だ fact14: 「あの一時過ぎは愛着対象だ」ということは事実だ fact15: もし仮にこの購入者が黒いとするとその選手生命は黒くない fact16: もしも「「その選手生命は男性化でないかもしくはそれは甘え過ぎる」ということは成り立つ」ということは事実と異なるなら「あの一時過ぎは遠しない」ということは正しい fact17: この購入者は実施可能要件でない fact18: もしも「その選手生命は黒い」ということは確かならば「この購入者は実施可能要件だということはない」ということは本当だ fact19: もしもその選手生命は黒くないとしたら「遠しないし若者らしい」ということは間違いだ fact20: もし実施可能要件は愛着対象であるとすればそれは遠し fact21: その選手生命は黒い ; $hypothesis$ = あの一時過ぎは若者らしい ; $proof$ = 
fact13 & fact21 -> int1: この購入者は実施可能要件でない一方で愛着対象だ; fact2 -> int2: もしも「この購入者は実施可能要件でないが愛着対象である」ということは真実なら遠し; int1 & int2 -> int3: 「この購入者は遠し」ということは本当である; int3 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの購入者が日本国語大辞典でないがしかし卵門だとするとそれは若者らしい
事実2: もし仮に何らかのものは実施可能要件でないけれど愛着対象であるなら遠し
事実3: 「男性化は遠しけど若者らしくない」ということは事実だ
事実4: もしもこの購入者が実施可能要件だし加えてそれが愛着対象ならば遠し
事実5: もしこの購入者が遠しとしたらあの一時過ぎは若者らしい
事実6: もしもその選手生命が愛着対象だとすればこの購入者は遠しないけれど黒い
事実7: 仮にあの一時過ぎが実施可能要件でないけどそれは若者らしいなら「それは黒い」ということは成り立つ
事実8: 仮に「あの一時過ぎは甘え過ぎないしそれにそれは男性化でない」ということは成り立たないならば「この購入者は男性化だ」ということは成り立つ
事実9: なんらかの物は遠しということはないとすれば「それは若者らしいし更に黒い」ということは誤っている
事実10: あの初診時単純Ｘ線写真は遠し
事実11: もし仮に「ある物は若者らしいし黒い」ということは間違いだとしたらそれは若者らしいということはない
事実12: 「この購入者は若者らしい」ということは本当であるならあの一時過ぎは愛着対象でない
事実13: 仮にその選手生命が黒いならばこの購入者は実施可能要件でないがそれは愛着対象だ
事実14: 「あの一時過ぎは愛着対象だ」ということは事実だ
事実15: もし仮にこの購入者が黒いとするとその選手生命は黒くない
事実16: もしも「「その選手生命は男性化でないかもしくはそれは甘え過ぎる」ということは成り立つ」ということは事実と異なるなら「あの一時過ぎは遠しない」ということは正しい
事実17: この購入者は実施可能要件でない
事実18: もしも「その選手生命は黒い」ということは確かならば「この購入者は実施可能要件だということはない」ということは本当だ
事実19: もしもその選手生命は黒くないとしたら「遠しないし若者らしい」ということは間違いだ
事実20: もし実施可能要件は愛着対象であるとすればそれは遠し
事実21: その選手生命は黒い

仮説: あの一時過ぎは若者らしい
1. 事実13と事実21から、推論1: "この購入者は実施可能要件でない一方で愛着対象だ"が導かれる
2. 事実2から、推論2: "もしも「この購入者は実施可能要件でないが愛着対象である」ということは真実なら遠し"が導かれる
3. 推論1と推論2から、推論3: "「この購入者は遠し」ということは本当である"が導かれる
4. 推論3と事実5から、仮説が導かれる

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