この利益指向は特許権侵害だ
fact1: 「すべては弁天様だ」ということは真実である fact2: 全ての物は使い辛い fact3: その抜け毛癖は長々しい fact4: この利益指向は使い辛いなら「それは絶え間無い」ということは成り立つ fact5: もしもこの利益指向が登記費用だということはないならば特許権侵害でなくておまけに分取しない fact6: 仮にその故事は使い辛くないなら「その抜け毛癖は絶え間無いけど長々しかない」ということは事実でない fact7: その宴会場が抜ければそれは変わり易い fact8: 「この利益指向は絶え間無いしその上登記費用である」ということは確かだとすればあの抜け毛癖は長々しかない fact9: もし仮にあの七月渡しは分取しないとすると「その故事は特許権侵害でその上登記費用だ」ということは成り立たない fact10: もし「その抜け毛癖は絶え間無いけど長々しかない」ということは間違いであるとしたらこの放電は長々しかない
fact2 -> int1: この利益指向は使い辛い; int1 & fact4 -> int2: この利益指向は絶え間無い; void -> assump1: 以下のように仮定する。この利益指向は登記費用である; int2 & assump1 -> int3: この利益指向は絶え間無いししかも登記費用である; int3 & fact8 -> int4: その抜け毛癖は長々しかない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: この利益指向は登記費用でない; int6 & fact5 -> int7: この利益指向は特許権侵害でなくて分取しない; int7 -> hypothesis;
この放電は長々しかない
$facts$ = fact1: 「すべては弁天様だ」ということは真実である fact2: 全ての物は使い辛い fact3: その抜け毛癖は長々しい fact4: この利益指向は使い辛いなら「それは絶え間無い」ということは成り立つ fact5: もしもこの利益指向が登記費用だということはないならば特許権侵害でなくておまけに分取しない fact6: 仮にその故事は使い辛くないなら「その抜け毛癖は絶え間無いけど長々しかない」ということは事実でない fact7: その宴会場が抜ければそれは変わり易い fact8: 「この利益指向は絶え間無いしその上登記費用である」ということは確かだとすればあの抜け毛癖は長々しかない fact9: もし仮にあの七月渡しは分取しないとすると「その故事は特許権侵害でその上登記費用だ」ということは成り立たない fact10: もし「その抜け毛癖は絶え間無いけど長々しかない」ということは間違いであるとしたらこの放電は長々しかない ; $hypothesis$ = この利益指向は特許権侵害だ ; $proof$ = 
fact2 -> int1: この利益指向は使い辛い; int1 & fact4 -> int2: この利益指向は絶え間無い; void -> assump1: 以下のように仮定する。この利益指向は登記費用である; int2 & assump1 -> int3: この利益指向は絶え間無いししかも登記費用である; int3 & fact8 -> int4: その抜け毛癖は長々しかない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: この利益指向は登記費用でない; int6 & fact5 -> int7: この利益指向は特許権侵害でなくて分取しない; int7 -> hypothesis; __DISPROVED__
事実1: 「すべては弁天様だ」ということは真実である
事実2: 全ての物は使い辛い
事実3: その抜け毛癖は長々しい
事実4: この利益指向は使い辛いなら「それは絶え間無い」ということは成り立つ
事実5: もしもこの利益指向が登記費用だということはないならば特許権侵害でなくておまけに分取しない
事実6: 仮にその故事は使い辛くないなら「その抜け毛癖は絶え間無いけど長々しかない」ということは事実でない
事実7: その宴会場が抜ければそれは変わり易い
事実8: 「この利益指向は絶え間無いしその上登記費用である」ということは確かだとすればあの抜け毛癖は長々しかない
事実9: もし仮にあの七月渡しは分取しないとすると「その故事は特許権侵害でその上登記費用だ」ということは成り立たない
事実10: もし「その抜け毛癖は絶え間無いけど長々しかない」ということは間違いであるとしたらこの放電は長々しかない

仮説: この利益指向は特許権侵害だ
1. 事実2から、推論1: "この利益指向は使い辛い"が導かれる
2. 推論1と事実4から、推論2: "この利益指向は絶え間無い"が導かれる
3. 仮定1: 以下のように仮定する。この利益指向は登記費用である
4. 推論2と仮定1から、推論3: "この利益指向は絶え間無いししかも登記費用である"が導かれる
5. 推論3と事実8から、推論4: "その抜け毛癖は長々しかない"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この利益指向は登記費用でない"が導かれる
8. 推論6と事実5から、推論7: "この利益指向は特許権侵害でなくて分取しない"が導かれる
9. 推論7から、仮説が否定される

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