その貨はＧＯＯＳＥでなくてまた峻別しない
fact1: その貨は融合細胞であるということはなくて少女時代でない fact2: 仮にその受け入れ準備が三番目以降であるししかも生まれ変われば「その貨は研究活動でない」ということは事実である fact3: あるものは峻別するということはないとすると「研究活動だしその上ＧＯＯＳＥでない」ということは誤りだ fact4: その受け入れ準備は峻別しない fact5: もしもその貨が融合細胞でないし少女時代でないとしたら峻別しない fact6: 仮に「その受け入れ準備は生まれ変わるかまたは研究活動だ」ということは事実と異なるとしたら「その貨は生まれ変わる」ということは偽だ fact7: なんらかのものは乳臭くないとすると「それは生まれ変わるかあるいはそれは研究活動であるかもしくは両方ともである」ということは嘘だ fact8: もし「あるものは久ししそれは乳臭い」ということは誤りであるなら乳臭くない fact9: もしその受け入れ準備は慌ただしくないとしたら「久ししまたそれは乳臭い」ということは偽である fact10: その受け入れ準備は生まれ変わる fact11: もしもなにかは三番目以降でないとすると「それはＧＯＯＳＥであるということはなくて更に峻別しない」ということは間違っている fact12: このマックスウェルは生まれ変わる fact13: その有益的記載事項は峻別しない fact14: その諸価値は興奮し過ぎるしさらにＧＯＯＳＥだ fact15: 仮になんらかのものは三番目以降であるかまたは生まれ変わらないかまたは両方ともであるとしたら三番目以降である fact16: この自衛手段は慌ただしい fact17: もし仮にこの自衛手段が慌ただしいならその貨は久し fact18: その受け入れ準備は三番目以降だ fact19: もし仮になんらかのものは研究活動でないならばＧＯＯＳＥでないし峻別するということはない fact20: 何かは研究活動でないとしたらそれは峻別しない fact21: 仮にその貨が乳臭くなくてその上峻別しないならその受け入れ準備は峻別しない fact22: もしもその受け入れ準備が生まれ変わるし峻別すればその貨は三番目以降でない fact23: もしもその貨が生まれ変わるし三番目以降であるならばその受け入れ準備は峻別しない fact24: 「その受け入れ準備は研究活動だがＧＯＯＳＥでない」ということは成り立たないとしたらこの魔術師は研究活動だ
fact18 & fact10 -> int1: その受け入れ準備は三番目以降で更にそれは生まれ変わる; int1 & fact2 -> int2: その貨は研究活動であるということはない; fact19 -> int3: その貨が研究活動だということはないならばそれはＧＯＯＳＥでなくてしかもそれは峻別しない; int2 & int3 -> hypothesis;
fact18 & fact10 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; fact19 -> int3: ¬{C}{b} -> (¬{D}{b} & ¬{E}{b}); int2 & int3 -> hypothesis;
この魔術師は三番目以降だ
fact27 -> int4: もし仮にこの魔術師が三番目以降であるか生まれ変わるということはないかもしくはどちらもならそれは三番目以降だ; fact26 -> int5: その受け入れ準備は峻別しないならば「研究活動であるしまたＧＯＯＳＥでない」ということは成り立たない; fact29 & fact32 -> int6: 「その貨は久し」ということは成り立つ; fact28 & fact31 -> int7: その貨は峻別しない;
$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: 「その受け入れ準備は研究活動だがＧＯＯＳＥでない」ということは成り立たないとしたらこの魔術師は研究活動だ ; $hypothesis$ = その貨はＧＯＯＳＥでなくてまた峻別しない ; $proof$ = 
fact18 & fact10 -> int1: その受け入れ準備は三番目以降で更にそれは生まれ変わる; int1 & fact2 -> int2: その貨は研究活動であるということはない; fact19 -> int3: その貨が研究活動だということはないならばそれはＧＯＯＳＥでなくてしかもそれは峻別しない; int2 & int3 -> 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: 「その受け入れ準備は研究活動だがＧＯＯＳＥでない」ということは成り立たないとしたらこの魔術師は研究活動だ

仮説: その貨はＧＯＯＳＥでなくてまた峻別しない
1. 事実18と事実10から、推論1: "その受け入れ準備は三番目以降で更にそれは生まれ変わる"が導かれる
2. 推論1と事実2から、推論2: "その貨は研究活動であるということはない"が導かれる
3. 事実19から、推論3: "その貨が研究活動だということはないならばそれはＧＯＯＳＥでなくてしかもそれは峻別しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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