あのレンタル料は手触りでそれは安っぽい
fact1: その支給が青かなぶんだとしたらその社会心理学は私淑するかあるいは雪下駄であるということはないかあるいは両方だ fact2: もしもその社会心理学が私淑するかまたはそれは雪下駄でないかあるいは両方ともであるとするとそれは安っぽいということはない fact3: その硬度は騒がしいし振り掛ける fact4: もし仮に「その介護給付は駆け寄るということはなくてそれは難色でない」ということは嘘ならその支給は青かなぶんである fact5: もしその社会心理学は安っぽくないとしたら「あのレンタル料は手触りであるしまた安っぽい」ということは偽だ fact6: もし仮に「「青かなぶんでない」ということは成り立つ」ものがあるとするとあのレンタル料は安っぽい fact7: 仮にその介護給付が駆け寄らないしその上難色でないならばその硬度は騒がしいということはない
void -> assump1: 以下のように仮定する。その介護給付は駆け寄らないしその上それは難色でない; fact7 & assump1 -> int1: その硬度は騒がしくない; fact3 -> int2: その硬度は騒がしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その介護給付は駆け寄らないしさらに難色でない」ということは成り立たない; int4 & fact4 -> int5: その支給は青かなぶんである; int5 & fact1 -> int6: その社会心理学は私淑するかまたは雪下駄でないかもしくはどちらもだ; int6 & fact2 -> int7: 「その社会心理学は安っぽくない」ということは成り立つ; int7 & fact5 -> hypothesis;
あのレンタル料は手触りであるしその上安っぽい
$facts$ = fact1: その支給が青かなぶんだとしたらその社会心理学は私淑するかあるいは雪下駄であるということはないかあるいは両方だ fact2: もしもその社会心理学が私淑するかまたはそれは雪下駄でないかあるいは両方ともであるとするとそれは安っぽいということはない fact3: その硬度は騒がしいし振り掛ける fact4: もし仮に「その介護給付は駆け寄るということはなくてそれは難色でない」ということは嘘ならその支給は青かなぶんである fact5: もしその社会心理学は安っぽくないとしたら「あのレンタル料は手触りであるしまた安っぽい」ということは偽だ fact6: もし仮に「「青かなぶんでない」ということは成り立つ」ものがあるとするとあのレンタル料は安っぽい fact7: 仮にその介護給付が駆け寄らないしその上難色でないならばその硬度は騒がしいということはない ; $hypothesis$ = あのレンタル料は手触りでそれは安っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。その介護給付は駆け寄らないしその上それは難色でない; fact7 & assump1 -> int1: その硬度は騒がしくない; fact3 -> int2: その硬度は騒がしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その介護給付は駆け寄らないしさらに難色でない」ということは成り立たない; int4 & fact4 -> int5: その支給は青かなぶんである; int5 & fact1 -> int6: その社会心理学は私淑するかまたは雪下駄でないかもしくはどちらもだ; int6 & fact2 -> int7: 「その社会心理学は安っぽくない」ということは成り立つ; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: その支給が青かなぶんだとしたらその社会心理学は私淑するかあるいは雪下駄であるということはないかあるいは両方だ
事実2: もしもその社会心理学が私淑するかまたはそれは雪下駄でないかあるいは両方ともであるとするとそれは安っぽいということはない
事実3: その硬度は騒がしいし振り掛ける
事実4: もし仮に「その介護給付は駆け寄るということはなくてそれは難色でない」ということは嘘ならその支給は青かなぶんである
事実5: もしその社会心理学は安っぽくないとしたら「あのレンタル料は手触りであるしまた安っぽい」ということは偽だ
事実6: もし仮に「「青かなぶんでない」ということは成り立つ」ものがあるとするとあのレンタル料は安っぽい
事実7: 仮にその介護給付が駆け寄らないしその上難色でないならばその硬度は騒がしいということはない

仮説: あのレンタル料は手触りでそれは安っぽい
1. 仮定1: 以下のように仮定する。その介護給付は駆け寄らないしその上それは難色でない
2. 事実7と仮定1から、推論1: "その硬度は騒がしくない"が導かれる
3. 事実3から、推論2: "その硬度は騒がしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その介護給付は駆け寄らないしさらに難色でない」ということは成り立たない"が導かれる
6. 推論4と事実4から、推論5: "その支給は青かなぶんである"が導かれる
7. 推論5と事実1から、推論6: "その社会心理学は私淑するかまたは雪下駄でないかもしくはどちらもだ"が導かれる
8. 推論6と事実2から、推論7: "「その社会心理学は安っぽくない」ということは成り立つ"が導かれる
9. 推論7と事実5から、仮説が否定される

よって、仮説が否定されました。