「その垂訓は本次でなくておまけに診査・観察しない」ということは真実でない
fact1: もし仮にこの方除けが本次でないならばあの垂訓は診査・観察しない fact2: 仮にこのカロテノイドが苦いがしかし育成出来るということはないならばこの方除けは本次でない fact3: 「その垂訓は診査・観察しない」ということは事実である fact4: 「もしも「この方除けは本次だ」ということは成り立つということはないとするとその垂訓は本次でないし診査・観察しない」ということは成り立つ fact5: その日米同盟は診査・観察するということはない fact6: この方除けは育成出来ない fact7: もしこのカロテノイドが苦いししかも育成出来るとしたら「この方除けは本次でない」ということは確かである fact8: このカロテノイドは育成出来ない fact9: もしこのカロテノイドが仏師でないとすれば診査・観察しなくて先着しない fact10: このカロテノイドは苦いがしかし育成出来ない fact11: この方除けが仏師であるし加えて言い辛いとすればこのカロテノイドは仏師でない
fact2 & fact10 -> int1: この方除けは本次でない; int1 & fact4 -> hypothesis;
あの悲憤は本次でない
$facts$ = fact1: もし仮にこの方除けが本次でないならばあの垂訓は診査・観察しない fact2: 仮にこのカロテノイドが苦いがしかし育成出来るということはないならばこの方除けは本次でない fact3: 「その垂訓は診査・観察しない」ということは事実である fact4: 「もしも「この方除けは本次だ」ということは成り立つということはないとするとその垂訓は本次でないし診査・観察しない」ということは成り立つ fact5: その日米同盟は診査・観察するということはない fact6: この方除けは育成出来ない fact7: もしこのカロテノイドが苦いししかも育成出来るとしたら「この方除けは本次でない」ということは確かである fact8: このカロテノイドは育成出来ない fact9: もしこのカロテノイドが仏師でないとすれば診査・観察しなくて先着しない fact10: このカロテノイドは苦いがしかし育成出来ない fact11: この方除けが仏師であるし加えて言い辛いとすればこのカロテノイドは仏師でない ; $hypothesis$ = 「その垂訓は本次でなくておまけに診査・観察しない」ということは真実でない ; $proof$ = 
fact2 & fact10 -> int1: この方除けは本次でない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの方除けが本次でないならばあの垂訓は診査・観察しない
事実2: 仮にこのカロテノイドが苦いがしかし育成出来るということはないならばこの方除けは本次でない
事実3: 「その垂訓は診査・観察しない」ということは事実である
事実4: 「もしも「この方除けは本次だ」ということは成り立つということはないとするとその垂訓は本次でないし診査・観察しない」ということは成り立つ
事実5: その日米同盟は診査・観察するということはない
事実6: この方除けは育成出来ない
事実7: もしこのカロテノイドが苦いししかも育成出来るとしたら「この方除けは本次でない」ということは確かである
事実8: このカロテノイドは育成出来ない
事実9: もしこのカロテノイドが仏師でないとすれば診査・観察しなくて先着しない
事実10: このカロテノイドは苦いがしかし育成出来ない
事実11: この方除けが仏師であるし加えて言い辛いとすればこのカロテノイドは仏師でない

仮説: 「その垂訓は本次でなくておまけに診査・観察しない」ということは真実でない
1. 事実2と事実10から、推論1: "この方除けは本次でない"が導かれる
2. 推論1と事実4から、仮説が否定される

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