その強度は奉還しない
fact1: もしも何らかの物はもどかしいとしたら「その強度は愛情深いがしかし奉還しない」ということは事実と異なる fact2: 仮になにがしかの物は愛情深いとしたら「あの三年生以下は奉還するけどもどかしいということはない」ということは成り立つということはない fact3: もしもとある物はトッケーだとすると「あの三年生以下は愛情深いがもどかしくない」ということは誤っている fact4: もし仮になにがしかの物は松崎旅館でないなら「オフィサーでないしそれにされ兼ねらない」ということは誤りだ fact5: 「「愛情深いがしかしもどかしくない」ということは間違いな」物があるとしたらその強度は奉還するということはない fact6: 「もどかしい」物はあれば「あの三年生以下は奉還する一方でそれは愛情深くない」ということは成り立たない fact7: もしも「あの遺産額はオーバーフローするかもしくは騙せるということはないかまたはどちらもだ」ということは真実であるとしたらその免疫機能は騙せらない fact8: もしあるものは苛立たしいならば「それは愛情深いということはないかそれはもどかしくない」ということは成り立たない fact9: 仮に「なにかはオフィサーでないしまたされ兼ねらない」ということは確かでないとするとそれは揺らぎ始めない fact10: 仮にあの執筆活動が見為され得ないけれど苛立たしいとしたら「あの生活空間は苛立たしい」ということは成り立つ fact11: 「トッケーである」物はある fact12: もし仮になにがしかの物が揺らぎ始めないとすれば見為され得るということはないしその上苛立たしい fact13: 「あの生活空間は愛情深くないかまたはそれはもどかしいということはないかまたは両方ともである」ということは事実でないならあの三年生以下は愛情深くない fact14: 仮にあの三年生以下は愛情深くないなら「その強度は奉還するしトッケーである」ということは嘘でない fact15: もし「愛情深くない」物があるとしたらその強度は奉還しない fact16: あの遺産額はオーバーフローするかまたは騙せらない
fact11 & fact3 -> int1: 「あの三年生以下は愛情深いがしかしもどかしくない」ということは正しいということはない; int1 -> int2: 「「愛情深いけどもどかしくない」ということは事実だということはない」ものはある; int2 & fact5 -> hypothesis;
その強度は奉還する
fact19 -> int3: もしあの生活空間は苛立たしいなら「それは愛情深いということはないかあるいはもどかしいということはないかもしくは両方だ」ということは嘘だ; fact25 -> int4: もし仮にあの執筆活動が揺らぎ始めないとすると見為され得ないしまた苛立たしい; fact18 -> int5: 「あの執筆活動はオフィサーでないしそれはされ兼ねらない」ということは誤っているとしたらそれは揺らぎ始めない; fact20 -> int6: 仮にあの執筆活動は松崎旅館であるということはないとすれば「それはオフィサーでないしそれにされ兼ねらない」ということは誤っている; fact24 & fact21 -> int7: その免疫機能は騙せらない; int7 -> int8: なにがしかのものは騙せらない;
$facts$ = fact1: もしも何らかの物はもどかしいとしたら「その強度は愛情深いがしかし奉還しない」ということは事実と異なる fact2: 仮になにがしかの物は愛情深いとしたら「あの三年生以下は奉還するけどもどかしいということはない」ということは成り立つということはない fact3: もしもとある物はトッケーだとすると「あの三年生以下は愛情深いがもどかしくない」ということは誤っている fact4: もし仮になにがしかの物は松崎旅館でないなら「オフィサーでないしそれにされ兼ねらない」ということは誤りだ fact5: 「「愛情深いがしかしもどかしくない」ということは間違いな」物があるとしたらその強度は奉還するということはない fact6: 「もどかしい」物はあれば「あの三年生以下は奉還する一方でそれは愛情深くない」ということは成り立たない fact7: もしも「あの遺産額はオーバーフローするかもしくは騙せるということはないかまたはどちらもだ」ということは真実であるとしたらその免疫機能は騙せらない fact8: もしあるものは苛立たしいならば「それは愛情深いということはないかそれはもどかしくない」ということは成り立たない fact9: 仮に「なにかはオフィサーでないしまたされ兼ねらない」ということは確かでないとするとそれは揺らぎ始めない fact10: 仮にあの執筆活動が見為され得ないけれど苛立たしいとしたら「あの生活空間は苛立たしい」ということは成り立つ fact11: 「トッケーである」物はある fact12: もし仮になにがしかの物が揺らぎ始めないとすれば見為され得るということはないしその上苛立たしい fact13: 「あの生活空間は愛情深くないかまたはそれはもどかしいということはないかまたは両方ともである」ということは事実でないならあの三年生以下は愛情深くない fact14: 仮にあの三年生以下は愛情深くないなら「その強度は奉還するしトッケーである」ということは嘘でない fact15: もし「愛情深くない」物があるとしたらその強度は奉還しない fact16: あの遺産額はオーバーフローするかまたは騙せらない ; $hypothesis$ = その強度は奉還しない ; $proof$ = 
fact11 & fact3 -> int1: 「あの三年生以下は愛情深いがしかしもどかしくない」ということは正しいということはない; int1 -> int2: 「「愛情深いけどもどかしくない」ということは事実だということはない」ものはある; int2 & fact5 -> hypothesis; __PROVED__
事実1: もしも何らかの物はもどかしいとしたら「その強度は愛情深いがしかし奉還しない」ということは事実と異なる
事実2: 仮になにがしかの物は愛情深いとしたら「あの三年生以下は奉還するけどもどかしいということはない」ということは成り立つということはない
事実3: もしもとある物はトッケーだとすると「あの三年生以下は愛情深いがもどかしくない」ということは誤っている
事実4: もし仮になにがしかの物は松崎旅館でないなら「オフィサーでないしそれにされ兼ねらない」ということは誤りだ
事実5: 「「愛情深いがしかしもどかしくない」ということは間違いな」物があるとしたらその強度は奉還するということはない
事実6: 「もどかしい」物はあれば「あの三年生以下は奉還する一方でそれは愛情深くない」ということは成り立たない
事実7: もしも「あの遺産額はオーバーフローするかもしくは騙せるということはないかまたはどちらもだ」ということは真実であるとしたらその免疫機能は騙せらない
事実8: もしあるものは苛立たしいならば「それは愛情深いということはないかそれはもどかしくない」ということは成り立たない
事実9: 仮に「なにかはオフィサーでないしまたされ兼ねらない」ということは確かでないとするとそれは揺らぎ始めない
事実10: 仮にあの執筆活動が見為され得ないけれど苛立たしいとしたら「あの生活空間は苛立たしい」ということは成り立つ
事実11: 「トッケーである」物はある
事実12: もし仮になにがしかの物が揺らぎ始めないとすれば見為され得るということはないしその上苛立たしい
事実13: 「あの生活空間は愛情深くないかまたはそれはもどかしいということはないかまたは両方ともである」ということは事実でないならあの三年生以下は愛情深くない
事実14: 仮にあの三年生以下は愛情深くないなら「その強度は奉還するしトッケーである」ということは嘘でない
事実15: もし「愛情深くない」物があるとしたらその強度は奉還しない
事実16: あの遺産額はオーバーフローするかまたは騙せらない

仮説: その強度は奉還しない
1. 事実11と事実3から、推論1: "「あの三年生以下は愛情深いがしかしもどかしくない」ということは正しいということはない"が導かれる
2. 推論1から、推論2: "「「愛情深いけどもどかしくない」ということは事実だということはない」ものはある"が導かれる
3. 推論2と事実5から、仮説が導かれる

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