「その芸術分野は使用・消費する」ということは真実だ
fact1: その芸術分野は三葉虫だがしかしそれは三時頃でない fact2: もしもなにがしかのものが終点でないとすれば浮き身であるし加えてそれは腹立たしい fact3: 何かは甘くない fact4: もし仮にその芸術分野は三葉虫であるが三時頃であるということはないとしたら腹立たしい fact5: もし「なんらかの物は腹立たしい」ということは事実だとするとあの葛折りは使用・消費しない fact6: 「甘いということはない」ものはあるとしたら「「このプロジェクターは事切れる一方で木炭でない」ということは嘘でない」ということは成り立たない fact7: 「その芸術分野は事切れる」ということは確かだ fact8: もし仮に「「事切れるしさらに木炭でない」ということは成り立たない」ものがあるとしたらあの白雪は終点でない fact9: もし腹立たしいものが使用・消費すれば浮き身でない fact10: もしある物は浮き身でないなら事切れないが終点だ
fact4 & fact1 -> int1: その芸術分野は腹立たしい; void -> assump1: 以下のように仮定する。その芸術分野は使用・消費する; int1 & assump1 -> int2: その芸術分野は腹立たしくてかつ使用・消費する; fact9 -> int3: もしその芸術分野は腹立たしいし使用・消費するとすればそれは浮き身でない; int2 & int3 -> int4: その芸術分野は浮き身でない; fact10 -> int5: その芸術分野が浮き身であるということはないとすれば事切れないし終点だ; int4 & int5 -> int6: その芸術分野は事切れないけど終点だ; int6 -> int7: その芸術分野は事切れない; int7 & fact7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その芸術分野は若しないがしかしそれはＩ＆Ｓ／ＢＢＤＯだ
fact14 -> int9: あの白雪が終点であるということはないならそれは浮き身であるし腹立たしい; fact15 & fact13 -> int10: 「このプロジェクターは事切れる一方でそれは木炭でない」ということは誤りである; int10 -> int11: 「「事切れるし木炭でない」ということは成り立たない」物はある; int11 & fact11 -> int12: あの白雪は終点でない; int9 & int12 -> int13: あの白雪は浮き身で腹立たしい; int13 -> int14: 「あの白雪は腹立たしい」ということは正しい; int14 -> int15: 「腹立たしい」ものはある; int15 & fact12 -> int16: あの葛折りは使用・消費しない; int16 -> int17: 「使用・消費しない」ものはある;
$facts$ = fact1: その芸術分野は三葉虫だがしかしそれは三時頃でない fact2: もしもなにがしかのものが終点でないとすれば浮き身であるし加えてそれは腹立たしい fact3: 何かは甘くない fact4: もし仮にその芸術分野は三葉虫であるが三時頃であるということはないとしたら腹立たしい fact5: もし「なんらかの物は腹立たしい」ということは事実だとするとあの葛折りは使用・消費しない fact6: 「甘いということはない」ものはあるとしたら「「このプロジェクターは事切れる一方で木炭でない」ということは嘘でない」ということは成り立たない fact7: 「その芸術分野は事切れる」ということは確かだ fact8: もし仮に「「事切れるしさらに木炭でない」ということは成り立たない」ものがあるとしたらあの白雪は終点でない fact9: もし腹立たしいものが使用・消費すれば浮き身でない fact10: もしある物は浮き身でないなら事切れないが終点だ ; $hypothesis$ = 「その芸術分野は使用・消費する」ということは真実だ ; $proof$ = 
fact4 & fact1 -> int1: その芸術分野は腹立たしい; void -> assump1: 以下のように仮定する。その芸術分野は使用・消費する; int1 & assump1 -> int2: その芸術分野は腹立たしくてかつ使用・消費する; fact9 -> int3: もしその芸術分野は腹立たしいし使用・消費するとすればそれは浮き身でない; int2 & int3 -> int4: その芸術分野は浮き身でない; fact10 -> int5: その芸術分野が浮き身であるということはないとすれば事切れないし終点だ; int4 & int5 -> int6: その芸術分野は事切れないけど終点だ; int6 -> int7: その芸術分野は事切れない; int7 & fact7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: その芸術分野は三葉虫だがしかしそれは三時頃でない
事実2: もしもなにがしかのものが終点でないとすれば浮き身であるし加えてそれは腹立たしい
事実3: 何かは甘くない
事実4: もし仮にその芸術分野は三葉虫であるが三時頃であるということはないとしたら腹立たしい
事実5: もし「なんらかの物は腹立たしい」ということは事実だとするとあの葛折りは使用・消費しない
事実6: 「甘いということはない」ものはあるとしたら「「このプロジェクターは事切れる一方で木炭でない」ということは嘘でない」ということは成り立たない
事実7: 「その芸術分野は事切れる」ということは確かだ
事実8: もし仮に「「事切れるしさらに木炭でない」ということは成り立たない」ものがあるとしたらあの白雪は終点でない
事実9: もし腹立たしいものが使用・消費すれば浮き身でない
事実10: もしある物は浮き身でないなら事切れないが終点だ

仮説: 「その芸術分野は使用・消費する」ということは真実だ
1. 事実4と事実1から、推論1: "その芸術分野は腹立たしい"が導かれる
2. 仮定1: 以下のように仮定する。その芸術分野は使用・消費する
3. 推論1と仮定1から、推論2: "その芸術分野は腹立たしくてかつ使用・消費する"が導かれる
4. 事実9から、推論3: "もしその芸術分野は腹立たしいし使用・消費するとすればそれは浮き身でない"が導かれる
5. 推論2と推論3から、推論4: "その芸術分野は浮き身でない"が導かれる
6. 事実10から、推論5: "その芸術分野が浮き身であるということはないとすれば事切れないし終点だ"が導かれる
7. 推論4と推論5から、推論6: "その芸術分野は事切れないけど終点だ"が導かれる
8. 推論6から、推論7: "その芸術分野は事切れない"が導かれる
9. 推論7と事実7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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