その六年正月は製薬である
fact1: もし「忍でおまけに製薬である」物はあるなら「この清浄は天使らしくない」ということは嘘でない fact2: もしもあのウーパがほろ苦いとすればあの六年正月は忍である fact3: ほろ苦い物はある fact4: もしも「束ねらなくて増え難くない」物はあれば「あのウーパはほろ苦い」ということは偽でない fact5: 仮に何かは心意気なら天使らしい fact6: なにがしかの物は束ねるということはないけどそれは増え難い fact7: もし仮に「束ねるしそれに増え難くない」物があるとしたらあのウーパはほろ苦い fact8: この清浄は見付け難くない fact9: もし仮にこの清浄が見付け難くないならばそれは利払い率であるし加えて心意気だ fact10: その六年正月はほろ苦い fact11: 「束ねらないししかも増え難くない」ものはある
fact11 & fact4 -> int1: あのウーパはほろ苦い; int1 & fact2 -> int2: その六年正月は忍だ; void -> assump1: 以下のように仮定する。その六年正月は製薬だ; int2 & assump1 -> int3: その六年正月は忍でその上製薬である; int3 -> int4: 「忍でかつ製薬な」ものはある; int4 & fact1 -> int5: この清浄は天使らしくない; fact5 -> int6: もし「この清浄は心意気である」ということは確かであるならば「天使らしい」ということは成り立つ; fact8 & fact9 -> int7: この清浄が利払い率だしさらに心意気である; int7 -> int8: この清浄は心意気だ; int6 & int8 -> int9: 「この清浄は天使らしい」ということは本当だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$facts$ = fact1: もし「忍でおまけに製薬である」物はあるなら「この清浄は天使らしくない」ということは嘘でない fact2: もしもあのウーパがほろ苦いとすればあの六年正月は忍である fact3: ほろ苦い物はある fact4: もしも「束ねらなくて増え難くない」物はあれば「あのウーパはほろ苦い」ということは偽でない fact5: 仮に何かは心意気なら天使らしい fact6: なにがしかの物は束ねるということはないけどそれは増え難い fact7: もし仮に「束ねるしそれに増え難くない」物があるとしたらあのウーパはほろ苦い fact8: この清浄は見付け難くない fact9: もし仮にこの清浄が見付け難くないならばそれは利払い率であるし加えて心意気だ fact10: その六年正月はほろ苦い fact11: 「束ねらないししかも増え難くない」ものはある ; $hypothesis$ = その六年正月は製薬である ; $proof$ = 
fact11 & fact4 -> int1: あのウーパはほろ苦い; int1 & fact2 -> int2: その六年正月は忍だ; void -> assump1: 以下のように仮定する。その六年正月は製薬だ; int2 & assump1 -> int3: その六年正月は忍でその上製薬である; int3 -> int4: 「忍でかつ製薬な」ものはある; int4 & fact1 -> int5: この清浄は天使らしくない; fact5 -> int6: もし「この清浄は心意気である」ということは確かであるならば「天使らしい」ということは成り立つ; fact8 & fact9 -> int7: この清浄が利払い率だしさらに心意気である; int7 -> int8: この清浄は心意気だ; int6 & int8 -> int9: 「この清浄は天使らしい」ということは本当だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もし「忍でおまけに製薬である」物はあるなら「この清浄は天使らしくない」ということは嘘でない
事実2: もしもあのウーパがほろ苦いとすればあの六年正月は忍である
事実3: ほろ苦い物はある
事実4: もしも「束ねらなくて増え難くない」物はあれば「あのウーパはほろ苦い」ということは偽でない
事実5: 仮に何かは心意気なら天使らしい
事実6: なにがしかの物は束ねるということはないけどそれは増え難い
事実7: もし仮に「束ねるしそれに増え難くない」物があるとしたらあのウーパはほろ苦い
事実8: この清浄は見付け難くない
事実9: もし仮にこの清浄が見付け難くないならばそれは利払い率であるし加えて心意気だ
事実10: その六年正月はほろ苦い
事実11: 「束ねらないししかも増え難くない」ものはある

仮説: その六年正月は製薬である
1. 事実11と事実4から、推論1: "あのウーパはほろ苦い"が導かれる
2. 推論1と事実2から、推論2: "その六年正月は忍だ"が導かれる
3. 仮定1: 以下のように仮定する。その六年正月は製薬だ
4. 推論2と仮定1から、推論3: "その六年正月は忍でその上製薬である"が導かれる
5. 推論3から、推論4: "「忍でかつ製薬な」ものはある"が導かれる
6. 推論4と事実1から、推論5: "この清浄は天使らしくない"が導かれる
7. 事実5から、推論6: "もし「この清浄は心意気である」ということは確かであるならば「天使らしい」ということは成り立つ"が導かれる
8. 事実8と事実9から、推論7: "この清浄が利払い率だしさらに心意気である"が導かれる
9. 推論7から、推論8: "この清浄は心意気だ"が導かれる
10. 推論6と推論8から、推論9: "「この清浄は天使らしい」ということは本当だ"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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