あの凶悪事件は住み替えないが処世術である
fact1: あの宴は長ったらしい fact2: このミズ・ハンターはアクション属性だ fact3: もし仮にある物は住み替えれば「アクション属性だ」ということは事実である fact4: 「なんらかのものは住み替えない一方で処世術である」ということは誤っていればそれはアクション属性である fact5: あの凶悪事件は飲み尽くす fact6: もしもとあるものが状態変化だとすると諸行だということはない fact7: 「「破り取らないしかつ政管健保だ」ということは成り立たない」ものはある fact8: 「このミズ・ハンターは状態変化でないがしかしそれは案内広告する」ということは成り立たない fact9: 「「補間しないしさらに平ったい」ということは成り立たない」ものはある fact10: 仮にとある物が配送するとしたら内務大臣である fact11: 諸行でなくてまた長ったらしいという物はない fact12: もし仮にこのミズ・ハンターが諸行だとすればそれは住み替えない fact13: もしも「「諸行でなくて長ったらしい」ということは事実と異なる」ものがあるとすればあの凶悪事件は諸行だ fact14: あの濁り江はアクション属性である fact15: アクション属性は状態変化である fact16: あの凶悪事件は庇う fact17: 「あの寸詰まり感は諸行でないけど真ん丸い」ということは嘘である
fact4 -> int1: 仮に「あの凶悪事件は住み替えないけれど処世術である」ということは偽であるとすればそれはアクション属性だ; void -> assump1: 以下のように仮定する。「あの凶悪事件は住み替えるということはないがしかしそれは処世術だ」ということは誤りである; int1 & assump1 -> int2: あの凶悪事件はアクション属性である; fact15 -> int3: もし仮に「あの凶悪事件はアクション属性である」ということは本当であるとすると状態変化だ; int2 & int3 -> int4: あの凶悪事件は状態変化だ; fact6 -> int5: もしあの凶悪事件が状態変化ならば諸行だということはない; int4 & int5 -> int6: あの凶悪事件は諸行でない; fact11 -> int7: 「このミズ・ハンターは諸行でないけどそれは長ったらしい」ということは本当でない; int7 -> int8: 「「諸行でないけど長ったらしい」ということは成り立たない」物はある; fact13 & int8 -> int9: あの凶悪事件は諸行である; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$facts$ = fact1: あの宴は長ったらしい fact2: このミズ・ハンターはアクション属性だ fact3: もし仮にある物は住み替えれば「アクション属性だ」ということは事実である fact4: 「なんらかのものは住み替えない一方で処世術である」ということは誤っていればそれはアクション属性である fact5: あの凶悪事件は飲み尽くす fact6: もしもとあるものが状態変化だとすると諸行だということはない fact7: 「「破り取らないしかつ政管健保だ」ということは成り立たない」ものはある fact8: 「このミズ・ハンターは状態変化でないがしかしそれは案内広告する」ということは成り立たない fact9: 「「補間しないしさらに平ったい」ということは成り立たない」ものはある fact10: 仮にとある物が配送するとしたら内務大臣である fact11: 諸行でなくてまた長ったらしいという物はない fact12: もし仮にこのミズ・ハンターが諸行だとすればそれは住み替えない fact13: もしも「「諸行でなくて長ったらしい」ということは事実と異なる」ものがあるとすればあの凶悪事件は諸行だ fact14: あの濁り江はアクション属性である fact15: アクション属性は状態変化である fact16: あの凶悪事件は庇う fact17: 「あの寸詰まり感は諸行でないけど真ん丸い」ということは嘘である ; $hypothesis$ = あの凶悪事件は住み替えないが処世術である ; $proof$ = 
fact4 -> int1: 仮に「あの凶悪事件は住み替えないけれど処世術である」ということは偽であるとすればそれはアクション属性だ; void -> assump1: 以下のように仮定する。「あの凶悪事件は住み替えるということはないがしかしそれは処世術だ」ということは誤りである; int1 & assump1 -> int2: あの凶悪事件はアクション属性である; fact15 -> int3: もし仮に「あの凶悪事件はアクション属性である」ということは本当であるとすると状態変化だ; int2 & int3 -> int4: あの凶悪事件は状態変化だ; fact6 -> int5: もしあの凶悪事件が状態変化ならば諸行だということはない; int4 & int5 -> int6: あの凶悪事件は諸行でない; fact11 -> int7: 「このミズ・ハンターは諸行でないけどそれは長ったらしい」ということは本当でない; int7 -> int8: 「「諸行でないけど長ったらしい」ということは成り立たない」物はある; fact13 & int8 -> int9: あの凶悪事件は諸行である; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: あの宴は長ったらしい
事実2: このミズ・ハンターはアクション属性だ
事実3: もし仮にある物は住み替えれば「アクション属性だ」ということは事実である
事実4: 「なんらかのものは住み替えない一方で処世術である」ということは誤っていればそれはアクション属性である
事実5: あの凶悪事件は飲み尽くす
事実6: もしもとあるものが状態変化だとすると諸行だということはない
事実7: 「「破り取らないしかつ政管健保だ」ということは成り立たない」ものはある
事実8: 「このミズ・ハンターは状態変化でないがしかしそれは案内広告する」ということは成り立たない
事実9: 「「補間しないしさらに平ったい」ということは成り立たない」ものはある
事実10: 仮にとある物が配送するとしたら内務大臣である
事実11: 諸行でなくてまた長ったらしいという物はない
事実12: もし仮にこのミズ・ハンターが諸行だとすればそれは住み替えない
事実13: もしも「「諸行でなくて長ったらしい」ということは事実と異なる」ものがあるとすればあの凶悪事件は諸行だ
事実14: あの濁り江はアクション属性である
事実15: アクション属性は状態変化である
事実16: あの凶悪事件は庇う
事実17: 「あの寸詰まり感は諸行でないけど真ん丸い」ということは嘘である

仮説: あの凶悪事件は住み替えないが処世術である
1. 事実4から、推論1: "仮に「あの凶悪事件は住み替えないけれど処世術である」ということは偽であるとすればそれはアクション属性だ"が導かれる
2. 仮定1: 以下のように仮定する。「あの凶悪事件は住み替えるということはないがしかしそれは処世術だ」ということは誤りである
3. 推論1と仮定1から、推論2: "あの凶悪事件はアクション属性である"が導かれる
4. 事実15から、推論3: "もし仮に「あの凶悪事件はアクション属性である」ということは本当であるとすると状態変化だ"が導かれる
5. 推論2と推論3から、推論4: "あの凶悪事件は状態変化だ"が導かれる
6. 事実6から、推論5: "もしあの凶悪事件が状態変化ならば諸行だということはない"が導かれる
7. 推論4と推論5から、推論6: "あの凶悪事件は諸行でない"が導かれる
8. 事実11から、推論7: "「このミズ・ハンターは諸行でないけどそれは長ったらしい」ということは本当でない"が導かれる
9. 推論7から、推論8: "「「諸行でないけど長ったらしい」ということは成り立たない」物はある"が導かれる
10. 事実13と推論8から、推論9: "あの凶悪事件は諸行である"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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