「この植物細胞は入れ過ぎる」ということは真実だ
fact1: この植物細胞は御裾分けするけれど退学処分でない fact2: この請け負いは入れ過ぎない fact3: 仮にこの植物細胞が人らしいし入れ過ぎるとしたらこの権利行使は溶け始めない fact4: 仮に「その粘土は尤もらしくないけれどノーである」ということは成り立たないとしたらノーでない fact5: 何らかのものは溶け始めないなら「それは入れ過ぎないし加えて人らしいということはない」ということは誤りである fact6: 「もし仮に「その粘土はノーでない」ということは本当であるとするとこの植物細胞は目新しさであるし人らしい」ということは成り立つ fact7: その粘土は他愛無くない fact8: なにかは他愛無くないとしたら「それは退学処分でないしさらに減刑しない」ということは事実でない fact9: 「なにがしかのものは退学処分でないしおまけに減刑しない」ということは事実と異なるとすると溶け始めない fact10: この植物細胞は溶け始めるけど入れ過ぎるということはない fact11: もしなにかは退学処分であるならばそれは入れ過ぎる fact12: もし「なにかは入れ過ぎなくて人らしくない」ということは成り立たないならばそれは入れ過ぎる fact13: 「この植物細胞は溶け始める」ということは正しい fact14: 仮にこの植物細胞が減刑するとすれば入れ過ぎる fact15: もしも「その口々は目新しさだしさらに溶け始める」ということは誤りであるならばこの植物細胞は溶け始めるということはない
fact10 -> hypothesis;
fact10 -> hypothesis;
この植物細胞は入れ過ぎる
fact17 -> int1: もし「この植物細胞は入れ過ぎないししかも人らしくない」ということは間違いだとすれば入れ過ぎる; fact18 -> int2: 仮にこの植物細胞は溶け始めるということはないならば「入れ過ぎないしおまけにそれは人らしくない」ということは成り立たない; fact20 -> int3: 仮に「その粘土は退学処分でないし減刑しない」ということは成り立たないならばそれは溶け始めない; fact19 -> int4: もしその粘土は他愛無くないなら「退学処分でないしかつ減刑しない」ということは真実でない; int4 & fact21 -> int5: 「その粘土は退学処分であるということはなくておまけにそれは減刑しない」ということは事実と異なる; int3 & int5 -> int6: その粘土は溶け始めない; int6 -> int7: 「溶け始めない」物はある;
$facts$ = fact1: この植物細胞は御裾分けするけれど退学処分でない fact2: この請け負いは入れ過ぎない fact3: 仮にこの植物細胞が人らしいし入れ過ぎるとしたらこの権利行使は溶け始めない fact4: 仮に「その粘土は尤もらしくないけれどノーである」ということは成り立たないとしたらノーでない fact5: 何らかのものは溶け始めないなら「それは入れ過ぎないし加えて人らしいということはない」ということは誤りである fact6: 「もし仮に「その粘土はノーでない」ということは本当であるとするとこの植物細胞は目新しさであるし人らしい」ということは成り立つ fact7: その粘土は他愛無くない fact8: なにかは他愛無くないとしたら「それは退学処分でないしさらに減刑しない」ということは事実でない fact9: 「なにがしかのものは退学処分でないしおまけに減刑しない」ということは事実と異なるとすると溶け始めない fact10: この植物細胞は溶け始めるけど入れ過ぎるということはない fact11: もしなにかは退学処分であるならばそれは入れ過ぎる fact12: もし「なにかは入れ過ぎなくて人らしくない」ということは成り立たないならばそれは入れ過ぎる fact13: 「この植物細胞は溶け始める」ということは正しい fact14: 仮にこの植物細胞が減刑するとすれば入れ過ぎる fact15: もしも「その口々は目新しさだしさらに溶け始める」ということは誤りであるならばこの植物細胞は溶け始めるということはない ; $hypothesis$ = 「この植物細胞は入れ過ぎる」ということは真実だ ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: この植物細胞は御裾分けするけれど退学処分でない
事実2: この請け負いは入れ過ぎない
事実3: 仮にこの植物細胞が人らしいし入れ過ぎるとしたらこの権利行使は溶け始めない
事実4: 仮に「その粘土は尤もらしくないけれどノーである」ということは成り立たないとしたらノーでない
事実5: 何らかのものは溶け始めないなら「それは入れ過ぎないし加えて人らしいということはない」ということは誤りである
事実6: 「もし仮に「その粘土はノーでない」ということは本当であるとするとこの植物細胞は目新しさであるし人らしい」ということは成り立つ
事実7: その粘土は他愛無くない
事実8: なにかは他愛無くないとしたら「それは退学処分でないしさらに減刑しない」ということは事実でない
事実9: 「なにがしかのものは退学処分でないしおまけに減刑しない」ということは事実と異なるとすると溶け始めない
事実10: この植物細胞は溶け始めるけど入れ過ぎるということはない
事実11: もしなにかは退学処分であるならばそれは入れ過ぎる
事実12: もし「なにかは入れ過ぎなくて人らしくない」ということは成り立たないならばそれは入れ過ぎる
事実13: 「この植物細胞は溶け始める」ということは正しい
事実14: 仮にこの植物細胞が減刑するとすれば入れ過ぎる
事実15: もしも「その口々は目新しさだしさらに溶け始める」ということは誤りであるならばこの植物細胞は溶け始めるということはない

仮説: 「この植物細胞は入れ過ぎる」ということは真実だ
1. 事実10から、仮説が否定される

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