「その仏身は気持ち良くて思し」ということは本当でない
fact1: 仮にその仏身が遠征すれば思し fact2: 「「供給し続けないし更に認め合う」ということは成り立たない」物はある fact3: その仏身は大老だしまた慶応幼稚舎だ fact4: 「「供給し続けるということはなくて認め合わない」ということは間違いな」ものはある fact5: 「「供給し続けるがしかし認め合うということはない」ということは成り立たない」ものはある fact6: もし仮になにがしかのものが思しならばあの仏身は遠征する fact7: もし仮にその仏身が気持ち良いならばそれは剥ぐ fact8: その仏身は遠征する fact9: もしも「「供給し続けるということはないし認め合わない」ということは誤りな」物はあるとすれば「その仏身は気持ち良い」ということは成り立つ fact10: この鴛鴦は気持ち良い
fact1 & fact8 -> int1: その仏身は思し; fact4 & fact9 -> int2: その仏身は気持ち良い; int1 & int2 -> hypothesis;
fact1 & fact8 -> int1: {B}{a}; fact4 & fact9 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にその仏身が遠征すれば思し fact2: 「「供給し続けないし更に認め合う」ということは成り立たない」物はある fact3: その仏身は大老だしまた慶応幼稚舎だ fact4: 「「供給し続けるということはなくて認め合わない」ということは間違いな」ものはある fact5: 「「供給し続けるがしかし認め合うということはない」ということは成り立たない」ものはある fact6: もし仮になにがしかのものが思しならばあの仏身は遠征する fact7: もし仮にその仏身が気持ち良いならばそれは剥ぐ fact8: その仏身は遠征する fact9: もしも「「供給し続けるということはないし認め合わない」ということは誤りな」物はあるとすれば「その仏身は気持ち良い」ということは成り立つ fact10: この鴛鴦は気持ち良い ; $hypothesis$ = 「その仏身は気持ち良くて思し」ということは本当でない ; $proof$ = 
fact1 & fact8 -> int1: その仏身は思し; fact4 & fact9 -> int2: その仏身は気持ち良い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその仏身が遠征すれば思し
事実2: 「「供給し続けないし更に認め合う」ということは成り立たない」物はある
事実3: その仏身は大老だしまた慶応幼稚舎だ
事実4: 「「供給し続けるということはなくて認め合わない」ということは間違いな」ものはある
事実5: 「「供給し続けるがしかし認め合うということはない」ということは成り立たない」ものはある
事実6: もし仮になにがしかのものが思しならばあの仏身は遠征する
事実7: もし仮にその仏身が気持ち良いならばそれは剥ぐ
事実8: その仏身は遠征する
事実9: もしも「「供給し続けるということはないし認め合わない」ということは誤りな」物はあるとすれば「その仏身は気持ち良い」ということは成り立つ
事実10: この鴛鴦は気持ち良い

仮説: 「その仏身は気持ち良くて思し」ということは本当でない
1. 事実1と事実8から、推論1: "その仏身は思し"が導かれる
2. 事実4と事実9から、推論2: "その仏身は気持ち良い"が導かれる
3. 推論1と推論2から、仮説が否定される

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