「その研究グループは捨て去らない一方で考え掛ける」ということは誤りである
fact1: もし「この習得は極まりなくないがしかし家族歴だ」ということは成り立たないなら「この天地自然は極まりないということはない」ということは本当だ fact2: もしも「この天地自然は正しくないしそれに眩くない」ということは成り立つとすればこのヒンドゥー教は抜き去らない fact3: 「このヒンドゥー教が捨て去るとしたらこの天地自然は極まりない」ということは本当である fact4: もしもこの習得が考え掛けるとすればその研究グループは極まりない fact5: 「「この習得は家族歴でないけれど考え掛ける」ということは本当だ」ということは嘘である fact6: もしもこのヒンドゥー教が捨て去らないとすればその研究グループは捨て去らないけど考え掛ける fact7: この習得が愛しならこのヒンドゥー教は愛し fact8: あの回復的治療は過大評価するしおまけにそれは間断無い fact9: 「もしこの習得が家族歴でないとするとこの天地自然は極まりなくない」ということは事実だ fact10: この習得は腹黒い fact11: このヒンドゥー教は考え掛けない fact12: 「この習得は極まりなくないが考え掛ける」ということは偽だ fact13: 「この習得は極まりなくないがしかし家族歴だ」ということは成り立つということはない fact14: 仮に何かは愛しとしたらそれは立てる fact15: もしある物は極まりないなら「捨て去らないしさらに考え掛ける」ということは事実と異なる fact16: その日常的世界は極まりなくない fact17: その研究グループは考え掛ける fact18: もしもこの習得は腹黒いとすれば「それは愛し」ということは真実である fact19: 「その研究グループは考え掛けないがしかし家族歴だ」ということは成り立たない fact20: このヒンドゥー教が大プロデューサーでないならその研究グループは家族歴であるしその上極まりない fact21: もしもこのヒンドゥー教が捨て去るということはないならその研究グループは考え掛ける fact22: 仮に何らかの物は立てるとしたら「それは似付かわしい」ということは本当だ fact23: もし仮に似付かわしい物が抜き去らないとすれば大プロデューサーでない
void -> assump1: 以下のように仮定する。このヒンドゥー教は捨て去る; fact3 & assump1 -> int1: この天地自然は極まりない; fact13 & fact1 -> int2: 「この天地自然は極まりなくない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このヒンドゥー教は捨て去らない; int4 & fact6 -> hypothesis;
「その研究グループは捨て去らないが考え掛ける」ということは成り立たない
fact33 -> int5: その研究グループは極まりないとすれば「捨て去らないしその上それは考え掛ける」ということは誤っている; fact25 -> int6: このヒンドゥー教が似付かわしい一方で抜き去らないとしたら大プロデューサーでない; fact28 -> int7: 仮にこのヒンドゥー教は立てるとしたら「それは似付かわしい」ということは成り立つ; fact29 -> int8: もし仮に「このヒンドゥー教は愛し」ということは成り立つならそれは立てる; fact31 & fact30 -> int9: この習得は愛し; fact32 & int9 -> int10: このヒンドゥー教は愛し; int8 & int10 -> int11: このヒンドゥー教は立てる; int7 & int11 -> int12: 「このヒンドゥー教は似付かわしい」ということは成り立つ; fact24 -> int13: あの回復的治療は過大評価する; int13 -> int14: 「過大評価する」物はある;
$facts$ = fact1: もし「この習得は極まりなくないがしかし家族歴だ」ということは成り立たないなら「この天地自然は極まりないということはない」ということは本当だ fact2: もしも「この天地自然は正しくないしそれに眩くない」ということは成り立つとすればこのヒンドゥー教は抜き去らない fact3: 「このヒンドゥー教が捨て去るとしたらこの天地自然は極まりない」ということは本当である fact4: もしもこの習得が考え掛けるとすればその研究グループは極まりない fact5: 「「この習得は家族歴でないけれど考え掛ける」ということは本当だ」ということは嘘である fact6: もしもこのヒンドゥー教が捨て去らないとすればその研究グループは捨て去らないけど考え掛ける fact7: この習得が愛しならこのヒンドゥー教は愛し fact8: あの回復的治療は過大評価するしおまけにそれは間断無い fact9: 「もしこの習得が家族歴でないとするとこの天地自然は極まりなくない」ということは事実だ fact10: この習得は腹黒い fact11: このヒンドゥー教は考え掛けない fact12: 「この習得は極まりなくないが考え掛ける」ということは偽だ fact13: 「この習得は極まりなくないがしかし家族歴だ」ということは成り立つということはない fact14: 仮に何かは愛しとしたらそれは立てる fact15: もしある物は極まりないなら「捨て去らないしさらに考え掛ける」ということは事実と異なる fact16: その日常的世界は極まりなくない fact17: その研究グループは考え掛ける fact18: もしもこの習得は腹黒いとすれば「それは愛し」ということは真実である fact19: 「その研究グループは考え掛けないがしかし家族歴だ」ということは成り立たない fact20: このヒンドゥー教が大プロデューサーでないならその研究グループは家族歴であるしその上極まりない fact21: もしもこのヒンドゥー教が捨て去るということはないならその研究グループは考え掛ける fact22: 仮に何らかの物は立てるとしたら「それは似付かわしい」ということは本当だ fact23: もし仮に似付かわしい物が抜き去らないとすれば大プロデューサーでない ; $hypothesis$ = 「その研究グループは捨て去らない一方で考え掛ける」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。このヒンドゥー教は捨て去る; fact3 & assump1 -> int1: この天地自然は極まりない; fact13 & fact1 -> int2: 「この天地自然は極まりなくない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このヒンドゥー教は捨て去らない; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「この習得は極まりなくないがしかし家族歴だ」ということは成り立たないなら「この天地自然は極まりないということはない」ということは本当だ
事実2: もしも「この天地自然は正しくないしそれに眩くない」ということは成り立つとすればこのヒンドゥー教は抜き去らない
事実3: 「このヒンドゥー教が捨て去るとしたらこの天地自然は極まりない」ということは本当である
事実4: もしもこの習得が考え掛けるとすればその研究グループは極まりない
事実5: 「「この習得は家族歴でないけれど考え掛ける」ということは本当だ」ということは嘘である
事実6: もしもこのヒンドゥー教が捨て去らないとすればその研究グループは捨て去らないけど考え掛ける
事実7: この習得が愛しならこのヒンドゥー教は愛し
事実8: あの回復的治療は過大評価するしおまけにそれは間断無い
事実9: 「もしこの習得が家族歴でないとするとこの天地自然は極まりなくない」ということは事実だ
事実10: この習得は腹黒い
事実11: このヒンドゥー教は考え掛けない
事実12: 「この習得は極まりなくないが考え掛ける」ということは偽だ
事実13: 「この習得は極まりなくないがしかし家族歴だ」ということは成り立つということはない
事実14: 仮に何かは愛しとしたらそれは立てる
事実15: もしある物は極まりないなら「捨て去らないしさらに考え掛ける」ということは事実と異なる
事実16: その日常的世界は極まりなくない
事実17: その研究グループは考え掛ける
事実18: もしもこの習得は腹黒いとすれば「それは愛し」ということは真実である
事実19: 「その研究グループは考え掛けないがしかし家族歴だ」ということは成り立たない
事実20: このヒンドゥー教が大プロデューサーでないならその研究グループは家族歴であるしその上極まりない
事実21: もしもこのヒンドゥー教が捨て去るということはないならその研究グループは考え掛ける
事実22: 仮に何らかの物は立てるとしたら「それは似付かわしい」ということは本当だ
事実23: もし仮に似付かわしい物が抜き去らないとすれば大プロデューサーでない

仮説: 「その研究グループは捨て去らない一方で考え掛ける」ということは誤りである
1. 仮定1: 以下のように仮定する。このヒンドゥー教は捨て去る
2. 事実3と仮定1から、推論1: "この天地自然は極まりない"が導かれる
3. 事実13と事実1から、推論2: "「この天地自然は極まりなくない」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このヒンドゥー教は捨て去らない"が導かれる
6. 推論4と事実6から、仮説が否定される

よって、仮説が否定されました。