その多核細胞は徴求する
fact1: もしも何らかのものは十一章でないとしたらそれは鍵でない fact2: この年越しは自己規制するし信心深い fact3: もしもこの年越しはバジルでないとすると「あの類推適用は絡み合わせらないかあるいは低分子でないかもしくはどちらもだ」ということは間違っていない fact4: もし「あの類推適用は絡み合わせる」ということは事実と異なるとすればその多核細胞は徴求しない fact5: もし「この年越しは自己規制するしさらにそれは信心深い」ということは成り立てばバジルでない fact6: もし何らかの物は鍵でないなら「低分子でないけど徴求する」ということは成り立つ fact7: もしあの類推適用は低分子だということはないとしたら「その多核細胞は徴求するということはない」ということは真実だ fact8: もしもこの年越しが低分子でないならばあの平茸はバジルだということはないがしかし絡み合わせる
fact5 & fact2 -> int1: この年越しはバジルだということはない; int1 & fact3 -> int2: あの類推適用は絡み合わせるということはないかまたは低分子でないかまたはどちらもだ; int2 & fact4 & fact7 -> hypothesis;
あの平茸はバジルでない
fact11 -> int3: もしこの年越しが鍵でないなら低分子でないししかも徴求する; fact9 -> int4: もし仮に「この年越しは十一章でない」ということは成り立つとすると鍵であるということはない;
$facts$ = fact1: もしも何らかのものは十一章でないとしたらそれは鍵でない fact2: この年越しは自己規制するし信心深い fact3: もしもこの年越しはバジルでないとすると「あの類推適用は絡み合わせらないかあるいは低分子でないかもしくはどちらもだ」ということは間違っていない fact4: もし「あの類推適用は絡み合わせる」ということは事実と異なるとすればその多核細胞は徴求しない fact5: もし「この年越しは自己規制するしさらにそれは信心深い」ということは成り立てばバジルでない fact6: もし何らかの物は鍵でないなら「低分子でないけど徴求する」ということは成り立つ fact7: もしあの類推適用は低分子だということはないとしたら「その多核細胞は徴求するということはない」ということは真実だ fact8: もしもこの年越しが低分子でないならばあの平茸はバジルだということはないがしかし絡み合わせる ; $hypothesis$ = その多核細胞は徴求する ; $proof$ = 
fact5 & fact2 -> int1: この年越しはバジルだということはない; int1 & fact3 -> int2: あの類推適用は絡み合わせるということはないかまたは低分子でないかまたはどちらもだ; int2 & fact4 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものは十一章でないとしたらそれは鍵でない
事実2: この年越しは自己規制するし信心深い
事実3: もしもこの年越しはバジルでないとすると「あの類推適用は絡み合わせらないかあるいは低分子でないかもしくはどちらもだ」ということは間違っていない
事実4: もし「あの類推適用は絡み合わせる」ということは事実と異なるとすればその多核細胞は徴求しない
事実5: もし「この年越しは自己規制するしさらにそれは信心深い」ということは成り立てばバジルでない
事実6: もし何らかの物は鍵でないなら「低分子でないけど徴求する」ということは成り立つ
事実7: もしあの類推適用は低分子だということはないとしたら「その多核細胞は徴求するということはない」ということは真実だ
事実8: もしもこの年越しが低分子でないならばあの平茸はバジルだということはないがしかし絡み合わせる

仮説: その多核細胞は徴求する
1. 事実5と事実2から、推論1: "この年越しはバジルだということはない"が導かれる
2. 推論1と事実3から、推論2: "あの類推適用は絡み合わせるということはないかまたは低分子でないかまたはどちらもだ"が導かれる
3. 推論2と事実4と事実7から、仮説が否定される

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