この能役者は通称する
fact1: もし仮に頑是無い物が彼等形でないとすれば通称する fact2: その山川草木は彼等形であるかそれは頑是無いということはないかまたはどちらもである fact3: 仮に「その相互作用はＵＣＣでない」ということは真実ならば「この能役者は通称しない」ということは本当である fact4: その山川草木は彼等形でないかあるいは頑是無いかまたはどちらもだ fact5: その山川草木は彼等形でない fact6: その山川草木が彼等形でないかもしくは頑是無くないとするとその相互作用はＵＣＣでない
fact5 -> int1: その山川草木は彼等形でないかもしくは頑是無くないか両方である; int1 & fact6 -> int2: 「その相互作用はＵＣＣでない」ということは成り立つ; int2 & fact3 -> hypothesis;
この能役者は通称する
fact7 -> int3: 仮にこの能役者が頑是無い一方でそれは彼等形でないとするとそれは通称する;
$facts$ = fact1: もし仮に頑是無い物が彼等形でないとすれば通称する fact2: その山川草木は彼等形であるかそれは頑是無いということはないかまたはどちらもである fact3: 仮に「その相互作用はＵＣＣでない」ということは真実ならば「この能役者は通称しない」ということは本当である fact4: その山川草木は彼等形でないかあるいは頑是無いかまたはどちらもだ fact5: その山川草木は彼等形でない fact6: その山川草木が彼等形でないかもしくは頑是無くないとするとその相互作用はＵＣＣでない ; $hypothesis$ = この能役者は通称する ; $proof$ = 
fact5 -> int1: その山川草木は彼等形でないかもしくは頑是無くないか両方である; int1 & fact6 -> int2: 「その相互作用はＵＣＣでない」ということは成り立つ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に頑是無い物が彼等形でないとすれば通称する
事実2: その山川草木は彼等形であるかそれは頑是無いということはないかまたはどちらもである
事実3: 仮に「その相互作用はＵＣＣでない」ということは真実ならば「この能役者は通称しない」ということは本当である
事実4: その山川草木は彼等形でないかあるいは頑是無いかまたはどちらもだ
事実5: その山川草木は彼等形でない
事実6: その山川草木が彼等形でないかもしくは頑是無くないとするとその相互作用はＵＣＣでない

仮説: この能役者は通称する
1. 事実5から、推論1: "その山川草木は彼等形でないかもしくは頑是無くないか両方である"が導かれる
2. 推論1と事実6から、推論2: "「その相互作用はＵＣＣでない」ということは成り立つ"が導かれる
3. 推論2と事実3から、仮説が否定される

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