この未決済額は荒っぽいけど踏ん付けない
fact1: もし仮にこの未決済額が湧き上らないとすると山茶花でないかあるいは宿営であるかまたは両方だ fact2: 「その地上町はソニア・エイリアスでないがしかしうら若し」ということは成り立たない fact3: 素晴らしものは踏ん付けない fact4: もしもこの未決済額が素晴らしならそれは踏ん付けない fact5: もしその民同は取っ付き易くないなら「山茶花だし宿営でない」ということは誤っている fact6: 「その地上町はソニア・エイリアスだけれどうら若しない」ということは成り立たない fact7: 「その地上町はソニア・エイリアスでなくてしかもうら若しない」ということは間違いだ fact8: 「もし仮に「その民同は素晴らし」ということは成り立つとしたらその民同は踏ん付けるがしかし取っ付き易いということはない」ということは本当である fact9: もしもこの未決済額が湧き上らないとすれば山茶花であるかまたはそれは宿営であるか両方である fact10: もし仮にこの未決済額が素晴らしないなら引き下げないかあるいは御見るかあるいは両方だ fact11: もし「その民同は山茶花であるけれど宿営だということはない」ということは本当でないとすれば「湧き上るということはない」ということは真実だ fact12: もしも「その民同が立証すしその上それはソニア・エイリアスである」ということは嘘であるとすると取っ付き易くない fact13: この未決済額は引き下げるかもしくはそれは御見る fact14: もしもこの未決済額が引き下げないかまたはそれは御見るとしたら「湧き上らない」ということは事実である fact15: もし「その地上町はソニア・エイリアスでなくてかつうら若しない」ということは偽だとすればその統括責任者はソニア・エイリアスでない fact16: もしその民同が取っ付き易いならばその統括責任者はソニア・エイリアスだ fact17: この未決済額は山茶花であるかそれは宿営であるか両方だ fact18: もし仮にこの未決済額が山茶花でないかまたは宿営であるか両方だとするとその民同は取っ付き易い fact19: 素晴らし物は荒っぽいがしかし踏ん付けない
void -> assump1: 以下のように仮定する。この未決済額は素晴らしない; fact10 & assump1 -> int1: この未決済額は引き下げないかそれは御見る; int1 & fact14 -> int2: この未決済額は湧き上るということはない; int2 & fact1 -> int3: この未決済額は山茶花でないかもしくは宿営だ; int3 & fact18 -> int4: その民同は取っ付き易い; int4 & fact16 -> int5: その統括責任者はソニア・エイリアスである; fact7 & fact15 -> int6: その統括責任者はソニア・エイリアスでない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この未決済額は素晴らし; fact19 -> int9: この未決済額が素晴らしならばそれは荒っぽいししかもそれは踏ん付けない; int8 & int9 -> hypothesis;
「この未決済額は荒っぽいがしかし踏ん付けない」ということは成り立たない
$facts$ = fact1: もし仮にこの未決済額が湧き上らないとすると山茶花でないかあるいは宿営であるかまたは両方だ fact2: 「その地上町はソニア・エイリアスでないがしかしうら若し」ということは成り立たない fact3: 素晴らしものは踏ん付けない fact4: もしもこの未決済額が素晴らしならそれは踏ん付けない fact5: もしその民同は取っ付き易くないなら「山茶花だし宿営でない」ということは誤っている fact6: 「その地上町はソニア・エイリアスだけれどうら若しない」ということは成り立たない fact7: 「その地上町はソニア・エイリアスでなくてしかもうら若しない」ということは間違いだ fact8: 「もし仮に「その民同は素晴らし」ということは成り立つとしたらその民同は踏ん付けるがしかし取っ付き易いということはない」ということは本当である fact9: もしもこの未決済額が湧き上らないとすれば山茶花であるかまたはそれは宿営であるか両方である fact10: もし仮にこの未決済額が素晴らしないなら引き下げないかあるいは御見るかあるいは両方だ fact11: もし「その民同は山茶花であるけれど宿営だということはない」ということは本当でないとすれば「湧き上るということはない」ということは真実だ fact12: もしも「その民同が立証すしその上それはソニア・エイリアスである」ということは嘘であるとすると取っ付き易くない fact13: この未決済額は引き下げるかもしくはそれは御見る fact14: もしもこの未決済額が引き下げないかまたはそれは御見るとしたら「湧き上らない」ということは事実である fact15: もし「その地上町はソニア・エイリアスでなくてかつうら若しない」ということは偽だとすればその統括責任者はソニア・エイリアスでない fact16: もしその民同が取っ付き易いならばその統括責任者はソニア・エイリアスだ fact17: この未決済額は山茶花であるかそれは宿営であるか両方だ fact18: もし仮にこの未決済額が山茶花でないかまたは宿営であるか両方だとするとその民同は取っ付き易い fact19: 素晴らし物は荒っぽいがしかし踏ん付けない ; $hypothesis$ = この未決済額は荒っぽいけど踏ん付けない ; $proof$ = 
void -> assump1: 以下のように仮定する。この未決済額は素晴らしない; fact10 & assump1 -> int1: この未決済額は引き下げないかそれは御見る; int1 & fact14 -> int2: この未決済額は湧き上るということはない; int2 & fact1 -> int3: この未決済額は山茶花でないかもしくは宿営だ; int3 & fact18 -> int4: その民同は取っ付き易い; int4 & fact16 -> int5: その統括責任者はソニア・エイリアスである; fact7 & fact15 -> int6: その統括責任者はソニア・エイリアスでない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この未決済額は素晴らし; fact19 -> int9: この未決済額が素晴らしならばそれは荒っぽいししかもそれは踏ん付けない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮にこの未決済額が湧き上らないとすると山茶花でないかあるいは宿営であるかまたは両方だ
事実2: 「その地上町はソニア・エイリアスでないがしかしうら若し」ということは成り立たない
事実3: 素晴らしものは踏ん付けない
事実4: もしもこの未決済額が素晴らしならそれは踏ん付けない
事実5: もしその民同は取っ付き易くないなら「山茶花だし宿営でない」ということは誤っている
事実6: 「その地上町はソニア・エイリアスだけれどうら若しない」ということは成り立たない
事実7: 「その地上町はソニア・エイリアスでなくてしかもうら若しない」ということは間違いだ
事実8: 「もし仮に「その民同は素晴らし」ということは成り立つとしたらその民同は踏ん付けるがしかし取っ付き易いということはない」ということは本当である
事実9: もしもこの未決済額が湧き上らないとすれば山茶花であるかまたはそれは宿営であるか両方である
事実10: もし仮にこの未決済額が素晴らしないなら引き下げないかあるいは御見るかあるいは両方だ
事実11: もし「その民同は山茶花であるけれど宿営だということはない」ということは本当でないとすれば「湧き上るということはない」ということは真実だ
事実12: もしも「その民同が立証すしその上それはソニア・エイリアスである」ということは嘘であるとすると取っ付き易くない
事実13: この未決済額は引き下げるかもしくはそれは御見る
事実14: もしもこの未決済額が引き下げないかまたはそれは御見るとしたら「湧き上らない」ということは事実である
事実15: もし「その地上町はソニア・エイリアスでなくてかつうら若しない」ということは偽だとすればその統括責任者はソニア・エイリアスでない
事実16: もしその民同が取っ付き易いならばその統括責任者はソニア・エイリアスだ
事実17: この未決済額は山茶花であるかそれは宿営であるか両方だ
事実18: もし仮にこの未決済額が山茶花でないかまたは宿営であるか両方だとするとその民同は取っ付き易い
事実19: 素晴らし物は荒っぽいがしかし踏ん付けない

仮説: この未決済額は荒っぽいけど踏ん付けない
1. 仮定1: 以下のように仮定する。この未決済額は素晴らしない
2. 事実10と仮定1から、推論1: "この未決済額は引き下げないかそれは御見る"が導かれる
3. 推論1と事実14から、推論2: "この未決済額は湧き上るということはない"が導かれる
4. 推論2と事実1から、推論3: "この未決済額は山茶花でないかもしくは宿営だ"が導かれる
5. 推論3と事実18から、推論4: "その民同は取っ付き易い"が導かれる
6. 推論4と事実16から、推論5: "その統括責任者はソニア・エイリアスである"が導かれる
7. 事実7と事実15から、推論6: "その統括責任者はソニア・エイリアスでない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この未決済額は素晴らし"が導かれる
10. 事実19から、推論9: "この未決済額が素晴らしならばそれは荒っぽいししかもそれは踏ん付けない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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