この造形物は球筋である
fact1: 仮に何らかの物が黙りこくるとするとそれは初恋する fact2: もし仮にある物は液晶テレビであるとしたら「それは初恋するしまたそれは五月末だということはない」ということは誤っている fact3: もしその大宰府は知・情・意であるとすると「その時間的ずれは初恋する」ということは正しい fact4: 「是認しないしハーフサイズである」物はある fact5: もしなんらかの物は液晶テレビなら「初恋するしさらにそれは五月末である」ということは嘘だ fact6: その時間的ずれが初恋するならあの警報装置は初恋する fact7: もしも「「血腥くなくて球筋だ」ということは間違っている」ものがあるとするとその時間的ずれは知・情・意だ fact8: 仮にその時間的ずれが知・情・意であるならばあの大宰府は黙りこくる fact9: その新都は液晶テレビであるし打ち合わせする fact10: 「その新都は初恋する一方で五月末でない」ということは成り立たないならばあの大宰府は初恋するということはない
void -> assump1: 以下のように仮定する。「この造形物は血腥くないがしかし球筋である」ということは正しくない; assump1 -> int1: 「「血腥くない球筋である」ということは成り立たない」物はある; int1 & fact7 -> int2: その時間的ずれは知・情・意である; int2 & fact8 -> int3: その大宰府は黙りこくる; fact1 -> int4: もし「その大宰府は黙りこくる」ということは正しいとすると初恋する; int3 & int4 -> int5: その大宰府は初恋する; fact2 -> int6: もし仮にその新都は液晶テレビであるとすると「それが初恋するしその上五月末であるということはない」ということは成り立たない; fact9 -> int7: その新都は液晶テレビだ; int6 & int7 -> int8: 「その新都は初恋するがしかし五月末でない」ということは偽だ; int8 & fact10 -> int9: その大宰府は初恋しない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この造形物は血腥くない一方でそれは球筋だ; int11 -> hypothesis;
あの警報装置は初恋する
$facts$ = fact1: 仮に何らかの物が黙りこくるとするとそれは初恋する fact2: もし仮にある物は液晶テレビであるとしたら「それは初恋するしまたそれは五月末だということはない」ということは誤っている fact3: もしその大宰府は知・情・意であるとすると「その時間的ずれは初恋する」ということは正しい fact4: 「是認しないしハーフサイズである」物はある fact5: もしなんらかの物は液晶テレビなら「初恋するしさらにそれは五月末である」ということは嘘だ fact6: その時間的ずれが初恋するならあの警報装置は初恋する fact7: もしも「「血腥くなくて球筋だ」ということは間違っている」ものがあるとするとその時間的ずれは知・情・意だ fact8: 仮にその時間的ずれが知・情・意であるならばあの大宰府は黙りこくる fact9: その新都は液晶テレビであるし打ち合わせする fact10: 「その新都は初恋する一方で五月末でない」ということは成り立たないならばあの大宰府は初恋するということはない ; $hypothesis$ = この造形物は球筋である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この造形物は血腥くないがしかし球筋である」ということは正しくない; assump1 -> int1: 「「血腥くない球筋である」ということは成り立たない」物はある; int1 & fact7 -> int2: その時間的ずれは知・情・意である; int2 & fact8 -> int3: その大宰府は黙りこくる; fact1 -> int4: もし「その大宰府は黙りこくる」ということは正しいとすると初恋する; int3 & int4 -> int5: その大宰府は初恋する; fact2 -> int6: もし仮にその新都は液晶テレビであるとすると「それが初恋するしその上五月末であるということはない」ということは成り立たない; fact9 -> int7: その新都は液晶テレビだ; int6 & int7 -> int8: 「その新都は初恋するがしかし五月末でない」ということは偽だ; int8 & fact10 -> int9: その大宰府は初恋しない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この造形物は血腥くない一方でそれは球筋だ; int11 -> hypothesis; __PROVED__
事実1: 仮に何らかの物が黙りこくるとするとそれは初恋する
事実2: もし仮にある物は液晶テレビであるとしたら「それは初恋するしまたそれは五月末だということはない」ということは誤っている
事実3: もしその大宰府は知・情・意であるとすると「その時間的ずれは初恋する」ということは正しい
事実4: 「是認しないしハーフサイズである」物はある
事実5: もしなんらかの物は液晶テレビなら「初恋するしさらにそれは五月末である」ということは嘘だ
事実6: その時間的ずれが初恋するならあの警報装置は初恋する
事実7: もしも「「血腥くなくて球筋だ」ということは間違っている」ものがあるとするとその時間的ずれは知・情・意だ
事実8: 仮にその時間的ずれが知・情・意であるならばあの大宰府は黙りこくる
事実9: その新都は液晶テレビであるし打ち合わせする
事実10: 「その新都は初恋する一方で五月末でない」ということは成り立たないならばあの大宰府は初恋するということはない

仮説: この造形物は球筋である
1. 仮定1: 以下のように仮定する。「この造形物は血腥くないがしかし球筋である」ということは正しくない
2. 仮定1から、推論1: "「「血腥くない球筋である」ということは成り立たない」物はある"が導かれる
3. 推論1と事実7から、推論2: "その時間的ずれは知・情・意である"が導かれる
4. 推論2と事実8から、推論3: "その大宰府は黙りこくる"が導かれる
5. 事実1から、推論4: "もし「その大宰府は黙りこくる」ということは正しいとすると初恋する"が導かれる
6. 推論3と推論4から、推論5: "その大宰府は初恋する"が導かれる
7. 事実2から、推論6: "もし仮にその新都は液晶テレビであるとすると「それが初恋するしその上五月末であるということはない」ということは成り立たない"が導かれる
8. 事実9から、推論7: "その新都は液晶テレビだ"が導かれる
9. 推論6と推論7から、推論8: "「その新都は初恋するがしかし五月末でない」ということは偽だ"が導かれる
10. 推論8と事実10から、推論9: "その大宰府は初恋しない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "この造形物は血腥くない一方でそれは球筋だ"が導かれる
13. 推論11から、仮説が導かれる

よって、仮説が証明されました。