この入学時はマグマ溜まりでない
fact1: もしもこの入学時はＡＮＹでないとすると「メモリ容量だけれど当期分でない」ということは間違いだ fact2: この入学時はＡＮＹでない fact3: 「「この入学時はメモリ容量であるがＬＩＳＡでない」ということは誤っている」ということは事実だ fact4: もし「なにかはメモリ容量であるがそれは当期分でない」ということは成り立たないとするとそれはとろ臭い fact5: とろ臭いものはマグマ溜まりである fact6: もしも「このＤＩＣはマグマ溜まりでなくておまけにＡＮＹであるということはない」ということは間違いならこの入学時はマグマ溜まりでない
fact1 & fact2 -> int1: 「この入学時はメモリ容量であるが当期分でない」ということは誤りである; fact4 -> int2: もし「この入学時はメモリ容量だが当期分でない」ということは嘘だとすると「とろ臭い」ということは確かである; int1 & int2 -> int3: この入学時はとろ臭い; fact5 -> int4: もし仮にこの入学時はとろ臭いなら「マグマ溜まりだ」ということは事実だ; int3 & int4 -> hypothesis;
この入学時はマグマ溜まりでない
$facts$ = fact1: もしもこの入学時はＡＮＹでないとすると「メモリ容量だけれど当期分でない」ということは間違いだ fact2: この入学時はＡＮＹでない fact3: 「「この入学時はメモリ容量であるがＬＩＳＡでない」ということは誤っている」ということは事実だ fact4: もし「なにかはメモリ容量であるがそれは当期分でない」ということは成り立たないとするとそれはとろ臭い fact5: とろ臭いものはマグマ溜まりである fact6: もしも「このＤＩＣはマグマ溜まりでなくておまけにＡＮＹであるということはない」ということは間違いならこの入学時はマグマ溜まりでない ; $hypothesis$ = この入学時はマグマ溜まりでない ; $proof$ = 
fact1 & fact2 -> int1: 「この入学時はメモリ容量であるが当期分でない」ということは誤りである; fact4 -> int2: もし「この入学時はメモリ容量だが当期分でない」ということは嘘だとすると「とろ臭い」ということは確かである; int1 & int2 -> int3: この入学時はとろ臭い; fact5 -> int4: もし仮にこの入学時はとろ臭いなら「マグマ溜まりだ」ということは事実だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの入学時はＡＮＹでないとすると「メモリ容量だけれど当期分でない」ということは間違いだ
事実2: この入学時はＡＮＹでない
事実3: 「「この入学時はメモリ容量であるがＬＩＳＡでない」ということは誤っている」ということは事実だ
事実4: もし「なにかはメモリ容量であるがそれは当期分でない」ということは成り立たないとするとそれはとろ臭い
事実5: とろ臭いものはマグマ溜まりである
事実6: もしも「このＤＩＣはマグマ溜まりでなくておまけにＡＮＹであるということはない」ということは間違いならこの入学時はマグマ溜まりでない

仮説: この入学時はマグマ溜まりでない
1. 事実1と事実2から、推論1: "「この入学時はメモリ容量であるが当期分でない」ということは誤りである"が導かれる
2. 事実4から、推論2: "もし「この入学時はメモリ容量だが当期分でない」ということは嘘だとすると「とろ臭い」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "この入学時はとろ臭い"が導かれる
4. 事実5から、推論4: "もし仮にこの入学時はとろ臭いなら「マグマ溜まりだ」ということは事実だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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