「その庭仕事は指令しない」ということは嘘だということはない
fact1: 「この詩は凄くないけどアビリティだ」ということは確かでない fact2: なんらかの物は社会主義市場経済体制であるということはないし加えて統一するということはない fact3: もし仮にこの詩が指令するとすればそれはアビリティでないしさらにそれは凄いということはない fact4: あのアルミ蒸着は凄い fact5: 「その畑地は指令しなくてそれに変え為さらない」ということは誤っている fact6: 「この詩は凄くないしまたそれはアビリティでない」ということは成り立たない fact7: 「この詩は友誼だ」ということは本当だ fact8: 「この詩は変え為さらないし指令するということはない」ということは確かでない fact9: もしもあの骨髄バンクが多しないとしたらその庭仕事は指令しないしアビリティだということはない fact10: アビリティは内省しなくておまけに駆け回らない fact11: 仮に「この詩は凄いということはないしアビリティでない」ということは成り立つということはないならばアビリティだ fact12: もし「内省するということはないし駆け回らない」物があるならばあの庭仕事は指令する fact13: このＭＩＮＩは体当たりしなくておまけに動物性だということはない fact14: 仮に多しものはアビリティでないならば指令しない fact15: もしも「内省しないけれど駆け回る」物があるとすればあの庭仕事は指令する fact16: この精霊流しは駆け回る fact17: もし仮に凄くないものが指令しないとするとこの詩はアビリティである fact18: 「その庭仕事は指令しないしかつ内省しない」ということは成り立たない fact19: 「その庭仕事は指令しないし駆け回らない」ということは誤っている fact20: もしもある物が今昔物語集だとすればそれは生花でないしまたそれは制限出来ない fact21: この板壁は心安くないしその上凄いということはない fact22: 「その庭仕事は毛深いということはないしそれは駆け回らない」ということは間違いだ fact23: その庭仕事はけばけばしい fact24: もし仮に何らかの物が内省するがしかし駆け回らないならその庭仕事は指令する
fact10 -> int1: 仮にこの詩がアビリティならばそれは内省しなくてそれは駆け回らない; fact6 & fact11 -> int2: 「この詩はアビリティだ」ということは事実である; int1 & int2 -> int3: この詩は内省しなくてそれに駆け回らない; int3 -> int4: 「内省しないししかも駆け回らない」ものはある; int4 & fact12 -> hypothesis;
その庭仕事は指令しない
$facts$ = fact1: 「この詩は凄くないけどアビリティだ」ということは確かでない fact2: なんらかの物は社会主義市場経済体制であるということはないし加えて統一するということはない fact3: もし仮にこの詩が指令するとすればそれはアビリティでないしさらにそれは凄いということはない fact4: あのアルミ蒸着は凄い fact5: 「その畑地は指令しなくてそれに変え為さらない」ということは誤っている fact6: 「この詩は凄くないしまたそれはアビリティでない」ということは成り立たない fact7: 「この詩は友誼だ」ということは本当だ fact8: 「この詩は変え為さらないし指令するということはない」ということは確かでない fact9: もしもあの骨髄バンクが多しないとしたらその庭仕事は指令しないしアビリティだということはない fact10: アビリティは内省しなくておまけに駆け回らない fact11: 仮に「この詩は凄いということはないしアビリティでない」ということは成り立つということはないならばアビリティだ fact12: もし「内省するということはないし駆け回らない」物があるならばあの庭仕事は指令する fact13: このＭＩＮＩは体当たりしなくておまけに動物性だということはない fact14: 仮に多しものはアビリティでないならば指令しない fact15: もしも「内省しないけれど駆け回る」物があるとすればあの庭仕事は指令する fact16: この精霊流しは駆け回る fact17: もし仮に凄くないものが指令しないとするとこの詩はアビリティである fact18: 「その庭仕事は指令しないしかつ内省しない」ということは成り立たない fact19: 「その庭仕事は指令しないし駆け回らない」ということは誤っている fact20: もしもある物が今昔物語集だとすればそれは生花でないしまたそれは制限出来ない fact21: この板壁は心安くないしその上凄いということはない fact22: 「その庭仕事は毛深いということはないしそれは駆け回らない」ということは間違いだ fact23: その庭仕事はけばけばしい fact24: もし仮に何らかの物が内省するがしかし駆け回らないならその庭仕事は指令する ; $hypothesis$ = 「その庭仕事は指令しない」ということは嘘だということはない ; $proof$ = 
fact10 -> int1: 仮にこの詩がアビリティならばそれは内省しなくてそれは駆け回らない; fact6 & fact11 -> int2: 「この詩はアビリティだ」ということは事実である; int1 & int2 -> int3: この詩は内省しなくてそれに駆け回らない; int3 -> int4: 「内省しないししかも駆け回らない」ものはある; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: 「この詩は凄くないけどアビリティだ」ということは確かでない
事実2: なんらかの物は社会主義市場経済体制であるということはないし加えて統一するということはない
事実3: もし仮にこの詩が指令するとすればそれはアビリティでないしさらにそれは凄いということはない
事実4: あのアルミ蒸着は凄い
事実5: 「その畑地は指令しなくてそれに変え為さらない」ということは誤っている
事実6: 「この詩は凄くないしまたそれはアビリティでない」ということは成り立たない
事実7: 「この詩は友誼だ」ということは本当だ
事実8: 「この詩は変え為さらないし指令するということはない」ということは確かでない
事実9: もしもあの骨髄バンクが多しないとしたらその庭仕事は指令しないしアビリティだということはない
事実10: アビリティは内省しなくておまけに駆け回らない
事実11: 仮に「この詩は凄いということはないしアビリティでない」ということは成り立つということはないならばアビリティだ
事実12: もし「内省するということはないし駆け回らない」物があるならばあの庭仕事は指令する
事実13: このＭＩＮＩは体当たりしなくておまけに動物性だということはない
事実14: 仮に多しものはアビリティでないならば指令しない
事実15: もしも「内省しないけれど駆け回る」物があるとすればあの庭仕事は指令する
事実16: この精霊流しは駆け回る
事実17: もし仮に凄くないものが指令しないとするとこの詩はアビリティである
事実18: 「その庭仕事は指令しないしかつ内省しない」ということは成り立たない
事実19: 「その庭仕事は指令しないし駆け回らない」ということは誤っている
事実20: もしもある物が今昔物語集だとすればそれは生花でないしまたそれは制限出来ない
事実21: この板壁は心安くないしその上凄いということはない
事実22: 「その庭仕事は毛深いということはないしそれは駆け回らない」ということは間違いだ
事実23: その庭仕事はけばけばしい
事実24: もし仮に何らかの物が内省するがしかし駆け回らないならその庭仕事は指令する

仮説: 「その庭仕事は指令しない」ということは嘘だということはない
1. 事実10から、推論1: "仮にこの詩がアビリティならばそれは内省しなくてそれは駆け回らない"が導かれる
2. 事実6と事実11から、推論2: "「この詩はアビリティだ」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "この詩は内省しなくてそれに駆け回らない"が導かれる
4. 推論3から、推論4: "「内省しないししかも駆け回らない」ものはある"が導かれる
5. 推論4と事実12から、仮説が否定される

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