この北宗禅は論うない
fact1: もしもなにかはサーカス団でないならこの北宗禅は論う fact2: 何かは煮熟するなら「飼養するしそれはけばけばしいということはない」ということは成り立たない fact3: もし仮にあの尿所見が物凄ーくないならばこのＫＡＹは物凄ーくない fact4: 「地下深いかまたはサーカス団でない」物はある fact5: この西風がサーカス団だしさらに地下深いならこの北宗禅は論うない fact6: 仮に「何らかのものは飼養するがけばけばしくない」ということは成り立たないとしたらそれはけばけばしい fact7: もし何かは湯剥きするとするとサーカス団だ fact8: もしも「地下深いということはないかまたはサーカス団でないかあるいはどちらもな」ものがあるならこの北宗禅は論う fact9: あの標治法はむかつくしおまけにそれは痩せ難い fact10: 「「あの屯南は飲み難いがしかし二候わない」ということは正しいということはないならばあの空間内は徴税吏でない」ということは事実である fact11: もしあの標治法が痩せ難いならばあの実験動物は煮熟する fact12: 仮になにかはけばけばしいとすればサーカス団だ fact13: その近代美術館は地下深くないかもしくはそれはサーカス団である fact14: もし仮にあの空間内が徴税吏でないとすればあの尿所見は物凄ーくない fact15: 「あの屯南は飲み難いが二候うということはない」ということは事実と異なる fact16: その近代美術館は地下深くないかまたはそれはサーカス団でないか両方ともである fact17: このＫＡＹが物凄ーくないならテキストスペースでそれにそれは差別待遇だ fact18: もし「けばけばしい」物があるとするとこの西風はけばけばしいかそれは湯剥きするかもしくは両方だ
fact16 -> int1: なにがしかのものは地下深いということはないかそれはサーカス団でない; int1 & fact8 -> hypothesis;
fact16 -> int1: (Ex): (¬{A}x v ¬{B}x); int1 & fact8 -> hypothesis;
この北宗禅は論うない
fact29 -> int2: 「あの実験動物は飼養するがけばけばしくない」ということは成り立たないとすればけばけばしい; fact28 -> int3: もし仮に「あの実験動物は煮熟する」ということは嘘でないとすると「それは飼養するけれどけばけばしくない」ということは偽である; fact30 -> int4: あの標治法は痩せ難い; fact21 & int4 -> int5: 「あの実験動物は煮熟する」ということは成り立つ; int3 & int5 -> int6: 「「あの実験動物は飼養するがけばけばしくない」ということは成り立たない」ということは事実である; int2 & int6 -> int7: 「あの実験動物はけばけばしい」ということは本当だ; int7 -> int8: 「けばけばしい」物はある; int8 & fact26 -> int9: この西風はけばけばしいかまたは湯剥きするかもしくはどちらもだ; fact23 -> int10: 仮にこの西風がけばけばしいとするとそれはサーカス団である; fact31 -> int11: もしも「この西風は湯剥きする」ということは事実であるならばサーカス団である; int9 & int10 & int11 -> int12: この西風はサーカス団だ; fact22 & fact19 -> int13: あの空間内は徴税吏であるということはない; fact27 & int13 -> int14: あの尿所見は物凄ーいということはない; fact24 & int14 -> int15: このＫＡＹは物凄ーくない; fact20 & int15 -> int16: このＫＡＹはテキストスペースであるしさらにそれは差別待遇である; int16 -> int17: このＫＡＹはテキストスペースである; int17 -> int18: 「テキストスペースな」ものはある;
$facts$ = fact1: もしもなにかはサーカス団でないならこの北宗禅は論う fact2: 何かは煮熟するなら「飼養するしそれはけばけばしいということはない」ということは成り立たない fact3: もし仮にあの尿所見が物凄ーくないならばこのＫＡＹは物凄ーくない fact4: 「地下深いかまたはサーカス団でない」物はある fact5: この西風がサーカス団だしさらに地下深いならこの北宗禅は論うない fact6: 仮に「何らかのものは飼養するがけばけばしくない」ということは成り立たないとしたらそれはけばけばしい fact7: もし何かは湯剥きするとするとサーカス団だ fact8: もしも「地下深いということはないかまたはサーカス団でないかあるいはどちらもな」ものがあるならこの北宗禅は論う fact9: あの標治法はむかつくしおまけにそれは痩せ難い fact10: 「「あの屯南は飲み難いがしかし二候わない」ということは正しいということはないならばあの空間内は徴税吏でない」ということは事実である fact11: もしあの標治法が痩せ難いならばあの実験動物は煮熟する fact12: 仮になにかはけばけばしいとすればサーカス団だ fact13: その近代美術館は地下深くないかもしくはそれはサーカス団である fact14: もし仮にあの空間内が徴税吏でないとすればあの尿所見は物凄ーくない fact15: 「あの屯南は飲み難いが二候うということはない」ということは事実と異なる fact16: その近代美術館は地下深くないかまたはそれはサーカス団でないか両方ともである fact17: このＫＡＹが物凄ーくないならテキストスペースでそれにそれは差別待遇だ fact18: もし「けばけばしい」物があるとするとこの西風はけばけばしいかそれは湯剥きするかもしくは両方だ ; $hypothesis$ = この北宗禅は論うない ; $proof$ = 
fact16 -> int1: なにがしかのものは地下深いということはないかそれはサーカス団でない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもなにかはサーカス団でないならこの北宗禅は論う
事実2: 何かは煮熟するなら「飼養するしそれはけばけばしいということはない」ということは成り立たない
事実3: もし仮にあの尿所見が物凄ーくないならばこのＫＡＹは物凄ーくない
事実4: 「地下深いかまたはサーカス団でない」物はある
事実5: この西風がサーカス団だしさらに地下深いならこの北宗禅は論うない
事実6: 仮に「何らかのものは飼養するがけばけばしくない」ということは成り立たないとしたらそれはけばけばしい
事実7: もし何かは湯剥きするとするとサーカス団だ
事実8: もしも「地下深いということはないかまたはサーカス団でないかあるいはどちらもな」ものがあるならこの北宗禅は論う
事実9: あの標治法はむかつくしおまけにそれは痩せ難い
事実10: 「「あの屯南は飲み難いがしかし二候わない」ということは正しいということはないならばあの空間内は徴税吏でない」ということは事実である
事実11: もしあの標治法が痩せ難いならばあの実験動物は煮熟する
事実12: 仮になにかはけばけばしいとすればサーカス団だ
事実13: その近代美術館は地下深くないかもしくはそれはサーカス団である
事実14: もし仮にあの空間内が徴税吏でないとすればあの尿所見は物凄ーくない
事実15: 「あの屯南は飲み難いが二候うということはない」ということは事実と異なる
事実16: その近代美術館は地下深くないかまたはそれはサーカス団でないか両方ともである
事実17: このＫＡＹが物凄ーくないならテキストスペースでそれにそれは差別待遇だ
事実18: もし「けばけばしい」物があるとするとこの西風はけばけばしいかそれは湯剥きするかもしくは両方だ

仮説: この北宗禅は論うない
1. 事実16から、推論1: "なにがしかのものは地下深いということはないかそれはサーカス団でない"が導かれる
2. 推論1と事実8から、仮説が否定される

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