「あの十七世紀後半は閑却しないかあるいはそれは人らしくないかまたは両方だ」ということは本当であるということはない
fact1: 仮にこの手取り除草が不安緊張であるし加えて二次評価であるとしたらこの蛋白質複合体は主事でない fact2: 仮にこの蛋白質複合体が不安緊張だし思い描くとしたら「この手取り除草は人らしくない」ということは間違っていない fact3: あの十七世紀後半が主事だしまたそれは人らしい fact4: もし仮に「この蛋白質複合体は人らしいということはない」ということは本当ならあの十七世紀後半は閑却しないかもしくは人らしいということはない fact5: 「その第五号意見は知り難くない」ということは成り立つ fact6: 「知り難ししかつ上空である」ものはある fact7: その第五号意見は知り難くないけど上空である fact8: もし仮に何らかのものが二次評価でなくてそれは上空でないなら知り難くない fact9: あの十七世紀後半は上空でないか閑却する fact10: もし仮にとあるものは主事であるということはないとすると「それは人らしくない」ということは真実である fact11: 知り難しということはないものはある fact12: この手取り除草は不安緊張であるしそれに思い描く fact13: 「何かは知り難くない」ということは確かだとしたら「それは閑却しないかまたは人らしくないか両方ともである」ということは事実と異なる fact14: あの十七世紀後半は閑却しないかもしくは人らしいかまたは両方だ fact15: もしこの手取り除草が二次評価でないとすればあの十七世紀後半は人らしいか二次評価であるということはない fact16: この蛋白質複合体が人らしくないならあの十七世紀後半は閑却しないかそれは人らしい fact17: もしも「知り難くないけれど上空である」ものはあるとすると「この手取り除草は二次評価である」ということは成り立つ
fact7 -> int1: 「知り難くないし上空な」物はある; int1 & fact17 -> int2: この手取り除草は二次評価である; fact12 -> int3: この手取り除草は不安緊張だ; int2 & int3 -> int4: この手取り除草が不安緊張だし二次評価だ; int4 & fact1 -> int5: この蛋白質複合体は主事でない; fact10 -> int6: もしもこの蛋白質複合体は主事であるということはないとすると「人らしくない」ということは成り立つ; int5 & int6 -> int7: この蛋白質複合体は人らしくない; int7 & fact4 -> hypothesis;
「あの十七世紀後半は閑却するということはないかあるいは人らしいということはないか両方ともである」ということは事実と異なる
fact18 -> int8: もしもあの十七世紀後半は知り難くないとすれば「それは閑却しないかあるいは人らしくないかあるいはどちらもである」ということは偽だ; fact19 -> int9: あの十七世紀後半が二次評価でないしそれは上空でないならばそれは知り難くない;
$facts$ = fact1: 仮にこの手取り除草が不安緊張であるし加えて二次評価であるとしたらこの蛋白質複合体は主事でない fact2: 仮にこの蛋白質複合体が不安緊張だし思い描くとしたら「この手取り除草は人らしくない」ということは間違っていない fact3: あの十七世紀後半が主事だしまたそれは人らしい fact4: もし仮に「この蛋白質複合体は人らしいということはない」ということは本当ならあの十七世紀後半は閑却しないかもしくは人らしいということはない fact5: 「その第五号意見は知り難くない」ということは成り立つ fact6: 「知り難ししかつ上空である」ものはある fact7: その第五号意見は知り難くないけど上空である fact8: もし仮に何らかのものが二次評価でなくてそれは上空でないなら知り難くない fact9: あの十七世紀後半は上空でないか閑却する fact10: もし仮にとあるものは主事であるということはないとすると「それは人らしくない」ということは真実である fact11: 知り難しということはないものはある fact12: この手取り除草は不安緊張であるしそれに思い描く fact13: 「何かは知り難くない」ということは確かだとしたら「それは閑却しないかまたは人らしくないか両方ともである」ということは事実と異なる fact14: あの十七世紀後半は閑却しないかもしくは人らしいかまたは両方だ fact15: もしこの手取り除草が二次評価でないとすればあの十七世紀後半は人らしいか二次評価であるということはない fact16: この蛋白質複合体が人らしくないならあの十七世紀後半は閑却しないかそれは人らしい fact17: もしも「知り難くないけれど上空である」ものはあるとすると「この手取り除草は二次評価である」ということは成り立つ ; $hypothesis$ = 「あの十七世紀後半は閑却しないかあるいはそれは人らしくないかまたは両方だ」ということは本当であるということはない ; $proof$ = 
fact7 -> int1: 「知り難くないし上空な」物はある; int1 & fact17 -> int2: この手取り除草は二次評価である; fact12 -> int3: この手取り除草は不安緊張だ; int2 & int3 -> int4: この手取り除草が不安緊張だし二次評価だ; int4 & fact1 -> int5: この蛋白質複合体は主事でない; fact10 -> int6: もしもこの蛋白質複合体は主事であるということはないとすると「人らしくない」ということは成り立つ; int5 & int6 -> int7: この蛋白質複合体は人らしくない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこの手取り除草が不安緊張であるし加えて二次評価であるとしたらこの蛋白質複合体は主事でない
事実2: 仮にこの蛋白質複合体が不安緊張だし思い描くとしたら「この手取り除草は人らしくない」ということは間違っていない
事実3: あの十七世紀後半が主事だしまたそれは人らしい
事実4: もし仮に「この蛋白質複合体は人らしいということはない」ということは本当ならあの十七世紀後半は閑却しないかもしくは人らしいということはない
事実5: 「その第五号意見は知り難くない」ということは成り立つ
事実6: 「知り難ししかつ上空である」ものはある
事実7: その第五号意見は知り難くないけど上空である
事実8: もし仮に何らかのものが二次評価でなくてそれは上空でないなら知り難くない
事実9: あの十七世紀後半は上空でないか閑却する
事実10: もし仮にとあるものは主事であるということはないとすると「それは人らしくない」ということは真実である
事実11: 知り難しということはないものはある
事実12: この手取り除草は不安緊張であるしそれに思い描く
事実13: 「何かは知り難くない」ということは確かだとしたら「それは閑却しないかまたは人らしくないか両方ともである」ということは事実と異なる
事実14: あの十七世紀後半は閑却しないかもしくは人らしいかまたは両方だ
事実15: もしこの手取り除草が二次評価でないとすればあの十七世紀後半は人らしいか二次評価であるということはない
事実16: この蛋白質複合体が人らしくないならあの十七世紀後半は閑却しないかそれは人らしい
事実17: もしも「知り難くないけれど上空である」ものはあるとすると「この手取り除草は二次評価である」ということは成り立つ

仮説: 「あの十七世紀後半は閑却しないかあるいはそれは人らしくないかまたは両方だ」ということは本当であるということはない
1. 事実7から、推論1: "「知り難くないし上空な」物はある"が導かれる
2. 推論1と事実17から、推論2: "この手取り除草は二次評価である"が導かれる
3. 事実12から、推論3: "この手取り除草は不安緊張だ"が導かれる
4. 推論2と推論3から、推論4: "この手取り除草が不安緊張だし二次評価だ"が導かれる
5. 推論4と事実1から、推論5: "この蛋白質複合体は主事でない"が導かれる
6. 事実10から、推論6: "もしもこの蛋白質複合体は主事であるということはないとすると「人らしくない」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "この蛋白質複合体は人らしくない"が導かれる
8. 推論7と事実4から、仮説が否定される

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