その唾液腺は再使用する
fact1: もしも何らかのものが迫り出すがしかしそれが絶え間無くないならば薄くない fact2: もしもこの図中が疲労し易いとするとその唾液腺は再使用しない fact3: あの痴呆対応型老人共同生活介護は再使用する fact4: もし仮に「あの痴呆対応型老人共同生活介護は過ごし易くないかあるいはそれは下り切る」ということは成り立たないとしたらその唾液腺は再使用する fact5: もし仮に何かは過ごし易くないかあるいは下り切るかもしくは両方だとしたら疲労し易い fact6: あの痴呆対応型老人共同生活介護は輝かしけれどコップ一杯だということはない fact7: 仮にあの痴呆対応型老人共同生活介護が輝かしけれどそれはコップ一杯でないとしたらそれは疲労し易くない
fact5 -> int1: もしあの痴呆対応型老人共同生活介護が過ごし易くないかまたはそれが下り切るなら疲労し易い; void -> assump1: 以下のように仮定する。あの痴呆対応型老人共同生活介護は過ごし易くないかあるいは下り切るかまたは両方だ; int1 & assump1 -> int2: あの痴呆対応型老人共同生活介護は疲労し易い; fact7 & fact6 -> int3: あの痴呆対応型老人共同生活介護は疲労し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの痴呆対応型老人共同生活介護は過ごし易いということはないかもしくは下り切る」ということは成り立たない; int5 & fact4 -> hypothesis;
その唾液腺は再使用しない
$facts$ = fact1: もしも何らかのものが迫り出すがしかしそれが絶え間無くないならば薄くない fact2: もしもこの図中が疲労し易いとするとその唾液腺は再使用しない fact3: あの痴呆対応型老人共同生活介護は再使用する fact4: もし仮に「あの痴呆対応型老人共同生活介護は過ごし易くないかあるいはそれは下り切る」ということは成り立たないとしたらその唾液腺は再使用する fact5: もし仮に何かは過ごし易くないかあるいは下り切るかもしくは両方だとしたら疲労し易い fact6: あの痴呆対応型老人共同生活介護は輝かしけれどコップ一杯だということはない fact7: 仮にあの痴呆対応型老人共同生活介護が輝かしけれどそれはコップ一杯でないとしたらそれは疲労し易くない ; $hypothesis$ = その唾液腺は再使用する ; $proof$ = 
fact5 -> int1: もしあの痴呆対応型老人共同生活介護が過ごし易くないかまたはそれが下り切るなら疲労し易い; void -> assump1: 以下のように仮定する。あの痴呆対応型老人共同生活介護は過ごし易くないかあるいは下り切るかまたは両方だ; int1 & assump1 -> int2: あの痴呆対応型老人共同生活介護は疲労し易い; fact7 & fact6 -> int3: あの痴呆対応型老人共同生活介護は疲労し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの痴呆対応型老人共同生活介護は過ごし易いということはないかもしくは下り切る」ということは成り立たない; int5 & fact4 -> hypothesis; __PROVED__
事実1: もしも何らかのものが迫り出すがしかしそれが絶え間無くないならば薄くない
事実2: もしもこの図中が疲労し易いとするとその唾液腺は再使用しない
事実3: あの痴呆対応型老人共同生活介護は再使用する
事実4: もし仮に「あの痴呆対応型老人共同生活介護は過ごし易くないかあるいはそれは下り切る」ということは成り立たないとしたらその唾液腺は再使用する
事実5: もし仮に何かは過ごし易くないかあるいは下り切るかもしくは両方だとしたら疲労し易い
事実6: あの痴呆対応型老人共同生活介護は輝かしけれどコップ一杯だということはない
事実7: 仮にあの痴呆対応型老人共同生活介護が輝かしけれどそれはコップ一杯でないとしたらそれは疲労し易くない

仮説: その唾液腺は再使用する
1. 事実5から、推論1: "もしあの痴呆対応型老人共同生活介護が過ごし易くないかまたはそれが下り切るなら疲労し易い"が導かれる
2. 仮定1: 以下のように仮定する。あの痴呆対応型老人共同生活介護は過ごし易くないかあるいは下り切るかまたは両方だ
3. 推論1と仮定1から、推論2: "あの痴呆対応型老人共同生活介護は疲労し易い"が導かれる
4. 事実7と事実6から、推論3: "あの痴呆対応型老人共同生活介護は疲労し易くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの痴呆対応型老人共同生活介護は過ごし易いということはないかもしくは下り切る」ということは成り立たない"が導かれる
7. 推論5と事実4から、仮説が導かれる

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