「その代謝物質はけたたましくないがそれは真珠貝だ」ということは偽だ
fact1: 「「随想でかつ受け辛い」ということは成り立たない」物はある fact2: あの青葉が真珠貝ならその代謝物質はけたたましくないけれどそれはくどい fact3: もし仮にこの群青が全面展開するかまたは倹しかないとすれば「あの青葉はくどい」ということは確かである fact4: 「この群青は倹しかない」ということは確かならばあの青葉はくどい fact5: あの青葉がくどいとすればその代謝物質はけたたましくない一方で真珠貝である fact6: もしあの青葉は受け辛いということはないならば「それは随想だが貫き通さない」ということは成り立たない fact7: この群青は全面展開するかあるいはそれは倹しかないかもしくはどちらもである fact8: くどくないものは倹しいしさらにけたたましい fact9: 気高しないものはけたたましい一方でくどくない fact10: もしもあの青葉が気高しということはないかそれは咽頭部でないかもしくは両方ともだとすれば「この群青は気高しない」ということは確かだ fact11: この群青は真珠貝であるかあるいはそれは全面展開しないか両方だ fact12: もしもこの群青が全面展開するかまたはそれがけたたましくないかあるいは両方ともであるならその代謝物質は真珠貝である fact13: 仮に「この群青は随想でない」ということは誤っていないならこの仏教説話集は咽頭部でないし更に真珠貝でない fact14: この群青は全面展開するかまたは倹しいかまたは両方である fact15: もし仮に「あの青葉は随想である一方で貫き通さない」ということは誤っているとしたらこの群青は随想でない fact16: もし何かは真珠貝でないとすると「それはくどくて気高しない」ということは偽である fact17: あの青葉は随想でないとすれば「それは咽頭部でない」ということは真実だ fact18: あの青葉は受け辛くない
fact3 & fact7 -> int1: あの青葉はくどい; int1 & fact5 -> hypothesis;
「「その代謝物質はけたたましくないが真珠貝である」ということは事実と異なる」ということは事実だ
fact20 -> int2: この群青が気高しということはないとしたらけたたましいけれどくどくない;
$facts$ = fact1: 「「随想でかつ受け辛い」ということは成り立たない」物はある fact2: あの青葉が真珠貝ならその代謝物質はけたたましくないけれどそれはくどい fact3: もし仮にこの群青が全面展開するかまたは倹しかないとすれば「あの青葉はくどい」ということは確かである fact4: 「この群青は倹しかない」ということは確かならばあの青葉はくどい fact5: あの青葉がくどいとすればその代謝物質はけたたましくない一方で真珠貝である fact6: もしあの青葉は受け辛いということはないならば「それは随想だが貫き通さない」ということは成り立たない fact7: この群青は全面展開するかあるいはそれは倹しかないかもしくはどちらもである fact8: くどくないものは倹しいしさらにけたたましい fact9: 気高しないものはけたたましい一方でくどくない fact10: もしもあの青葉が気高しということはないかそれは咽頭部でないかもしくは両方ともだとすれば「この群青は気高しない」ということは確かだ fact11: この群青は真珠貝であるかあるいはそれは全面展開しないか両方だ fact12: もしもこの群青が全面展開するかまたはそれがけたたましくないかあるいは両方ともであるならその代謝物質は真珠貝である fact13: 仮に「この群青は随想でない」ということは誤っていないならこの仏教説話集は咽頭部でないし更に真珠貝でない fact14: この群青は全面展開するかまたは倹しいかまたは両方である fact15: もし仮に「あの青葉は随想である一方で貫き通さない」ということは誤っているとしたらこの群青は随想でない fact16: もし何かは真珠貝でないとすると「それはくどくて気高しない」ということは偽である fact17: あの青葉は随想でないとすれば「それは咽頭部でない」ということは真実だ fact18: あの青葉は受け辛くない ; $hypothesis$ = 「その代謝物質はけたたましくないがそれは真珠貝だ」ということは偽だ ; $proof$ = 
fact3 & fact7 -> int1: あの青葉はくどい; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「「随想でかつ受け辛い」ということは成り立たない」物はある
事実2: あの青葉が真珠貝ならその代謝物質はけたたましくないけれどそれはくどい
事実3: もし仮にこの群青が全面展開するかまたは倹しかないとすれば「あの青葉はくどい」ということは確かである
事実4: 「この群青は倹しかない」ということは確かならばあの青葉はくどい
事実5: あの青葉がくどいとすればその代謝物質はけたたましくない一方で真珠貝である
事実6: もしあの青葉は受け辛いということはないならば「それは随想だが貫き通さない」ということは成り立たない
事実7: この群青は全面展開するかあるいはそれは倹しかないかもしくはどちらもである
事実8: くどくないものは倹しいしさらにけたたましい
事実9: 気高しないものはけたたましい一方でくどくない
事実10: もしもあの青葉が気高しということはないかそれは咽頭部でないかもしくは両方ともだとすれば「この群青は気高しない」ということは確かだ
事実11: この群青は真珠貝であるかあるいはそれは全面展開しないか両方だ
事実12: もしもこの群青が全面展開するかまたはそれがけたたましくないかあるいは両方ともであるならその代謝物質は真珠貝である
事実13: 仮に「この群青は随想でない」ということは誤っていないならこの仏教説話集は咽頭部でないし更に真珠貝でない
事実14: この群青は全面展開するかまたは倹しいかまたは両方である
事実15: もし仮に「あの青葉は随想である一方で貫き通さない」ということは誤っているとしたらこの群青は随想でない
事実16: もし何かは真珠貝でないとすると「それはくどくて気高しない」ということは偽である
事実17: あの青葉は随想でないとすれば「それは咽頭部でない」ということは真実だ
事実18: あの青葉は受け辛くない

仮説: 「その代謝物質はけたたましくないがそれは真珠貝だ」ということは偽だ
1. 事実3と事実7から、推論1: "あの青葉はくどい"が導かれる
2. 推論1と事実5から、仮説が否定される

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