「そのシャグリ・リンポシェは四角いかまたは遠いかあるいはどちらもだ」ということは成り立たない
fact1: もしも「その植物学者は流転する」ということは成り立つなら「それは許可するかあるいはそれは集録しないか両方だ」ということは成り立たない fact2: もし「「ＩＲである」ということは確かな」ものがあるとしたらその搾取は変数Ａで更に震え声だ fact3: 「ＩＲである」物はある fact4: 「「遠いかあるいは集録しないか両方ともだ」ということは間違いである」ものはある fact5: その植物学者は許可するかあるいは四角い fact6: 「遠いということはない」ものはある fact7: その植物学者は流転する fact8: もしもあるものは流転しないならば「四角いかまたはそれは遠いかもしくは両方ともだ」ということは成り立たない fact9: そのチョコレートケーキはマイ・レーベン蘭であるかまたは四角い fact10: 「集録するかあるいは遠くないかどちらもな」ものはある fact11: もし仮に「「遠いかもしくは流転するということはない」ということは間違いな」ものがあるならその植物学者は許可する fact12: もし仮に「「許可するかまたは集録するということはないかまたはどちらもだ」ということは誤りな」ものがあるとすればそのシャグリ・リンポシェは四角い
fact1 & fact7 -> int1: 「その植物学者は許可するかもしくはそれは集録しない」ということは偽である; int1 -> int2: 「「許可するかあるいは集録しないかまたは両方ともである」ということは間違いな」物はある; int2 & fact12 -> int3: そのシャグリ・リンポシェは四角い; int3 -> hypothesis;
「そのシャグリ・リンポシェは四角いかあるいはそれは遠いかまたはどちらもである」ということは事実と異なる
fact13 -> int4: もし仮にそのシャグリ・リンポシェは流転しないとすると「それは四角いかもしくは遠いかもしくはどちらもである」ということは間違っている; fact15 & fact14 -> int5: その搾取が変数Ａだし更に震え声だ; int5 -> int6: その搾取は変数Ａだ; int6 -> int7: 「変数Ａである」ものはある;
$facts$ = fact1: もしも「その植物学者は流転する」ということは成り立つなら「それは許可するかあるいはそれは集録しないか両方だ」ということは成り立たない fact2: もし「「ＩＲである」ということは確かな」ものがあるとしたらその搾取は変数Ａで更に震え声だ fact3: 「ＩＲである」物はある fact4: 「「遠いかあるいは集録しないか両方ともだ」ということは間違いである」ものはある fact5: その植物学者は許可するかあるいは四角い fact6: 「遠いということはない」ものはある fact7: その植物学者は流転する fact8: もしもあるものは流転しないならば「四角いかまたはそれは遠いかもしくは両方ともだ」ということは成り立たない fact9: そのチョコレートケーキはマイ・レーベン蘭であるかまたは四角い fact10: 「集録するかあるいは遠くないかどちらもな」ものはある fact11: もし仮に「「遠いかもしくは流転するということはない」ということは間違いな」ものがあるならその植物学者は許可する fact12: もし仮に「「許可するかまたは集録するということはないかまたはどちらもだ」ということは誤りな」ものがあるとすればそのシャグリ・リンポシェは四角い ; $hypothesis$ = 「そのシャグリ・リンポシェは四角いかまたは遠いかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact1 & fact7 -> int1: 「その植物学者は許可するかもしくはそれは集録しない」ということは偽である; int1 -> int2: 「「許可するかあるいは集録しないかまたは両方ともである」ということは間違いな」物はある; int2 & fact12 -> int3: そのシャグリ・リンポシェは四角い; int3 -> hypothesis; __DISPROVED__
事実1: もしも「その植物学者は流転する」ということは成り立つなら「それは許可するかあるいはそれは集録しないか両方だ」ということは成り立たない
事実2: もし「「ＩＲである」ということは確かな」ものがあるとしたらその搾取は変数Ａで更に震え声だ
事実3: 「ＩＲである」物はある
事実4: 「「遠いかあるいは集録しないか両方ともだ」ということは間違いである」ものはある
事実5: その植物学者は許可するかあるいは四角い
事実6: 「遠いということはない」ものはある
事実7: その植物学者は流転する
事実8: もしもあるものは流転しないならば「四角いかまたはそれは遠いかもしくは両方ともだ」ということは成り立たない
事実9: そのチョコレートケーキはマイ・レーベン蘭であるかまたは四角い
事実10: 「集録するかあるいは遠くないかどちらもな」ものはある
事実11: もし仮に「「遠いかもしくは流転するということはない」ということは間違いな」ものがあるならその植物学者は許可する
事実12: もし仮に「「許可するかまたは集録するということはないかまたはどちらもだ」ということは誤りな」ものがあるとすればそのシャグリ・リンポシェは四角い

仮説: 「そのシャグリ・リンポシェは四角いかまたは遠いかあるいはどちらもだ」ということは成り立たない
1. 事実1と事実7から、推論1: "「その植物学者は許可するかもしくはそれは集録しない」ということは偽である"が導かれる
2. 推論1から、推論2: "「「許可するかあるいは集録しないかまたは両方ともである」ということは間違いな」物はある"が導かれる
3. 推論2と事実12から、推論3: "そのシャグリ・リンポシェは四角い"が導かれる
4. 推論3から、仮説が否定される

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