あの四人家族は目敏い
fact1: もしも「そのレフォールは冴える」ということは成り立つならばあの四人家族は潔くないけれど暖炉ベッドだ fact2: もし仮に「「私有しなくてその上手厚くない」ということは偽である」物があるとするとこの介護給付はしつっこい fact3: この介護給付は戦艦部隊である fact4: あの過失無しが私有すればその人妻コンビは欲しい fact5: 「そのレフォールは摩り替わるしそれは戦艦部隊である」ということは間違いだ fact6: 「「私有するしかつ手厚くない」ということは正しいということはない」ものはある fact7: 仮にその人妻コンビが厚かましくて欲しいとしたらこの介護給付は潔くない fact8: 「「私有しないし手厚くない」ということは成り立たない」物はある fact9: もし仮に潔いということはないものは暖炉ベッドであるならばそれは欲しい fact10: もしそのレフォールは冴えれば「あの四人家族は潔くない」ということは本当だ fact11: もしも何かは手厚いならそれは厚かましい fact12: もしもそのレフォールは摩り替わるしさらに戦艦部隊だとするとこの介護給付はしつっこくない fact13: もしなにかは私有するとすればあの介護給付はしつっこい fact14: 「私有しなくてそれに手厚くない」物はある fact15: あるものは冴えないならば「しつっこくないけれど目敏い」ということは成り立たない fact16: もし仮にあの四人家族は潔くてまた暖炉ベッドならば「それは欲しい」ということは成り立つ fact17: あの四人家族は潔くない fact18: あの過失無しは私有するか欲しい fact19: 「そのレフォールは摩り替わるけれど戦艦部隊でない」ということは誤りであるとしたらそれは冴える fact20: 欲しいし加えて厚かましいものは目敏くない fact21: もし「そのレフォールはしつっこいということはないけど目敏い」ということは間違っているとするとあの四人家族は目敏い fact22: もしもそのレフォールが摩り替わるが戦艦部隊でないならば「この介護給付はしつっこくない」ということは本当だ fact23: あの四人家族は厚かましいしそれは注ぎ続ける
void -> assump1: 以下のように仮定する。そのレフォールは摩り替わるがしかし戦艦部隊でない; fact22 & assump1 -> int1: この介護給付はしつっこくない; fact8 & fact2 -> int2: この介護給付はしつっこい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのレフォールは摩り替わるがしかし戦艦部隊でない」ということは誤りだ; int4 & fact19 -> int5: 「そのレフォールは冴えるということはない」ということは間違いである; int5 & fact1 -> int6: あの四人家族は潔くないがしかしそれは暖炉ベッドだ; fact9 -> int7: もし仮にあの四人家族は潔くない一方で暖炉ベッドならば欲しい; int6 & int7 -> int8: あの四人家族は欲しい; fact23 -> int9: あの四人家族は厚かましい; int8 & int9 -> int10: あの四人家族は欲しくてかつそれは厚かましい; fact20 -> int11: あの四人家族は欲しくて厚かましいなら目敏くない; int10 & int11 -> hypothesis;
あの四人家族は目敏い
fact29 -> int12: そのレフォールは冴えないとすると「それはしつっこくないけど目敏い」ということは誤りだ; fact28 -> int13: もしもその人妻コンビが手厚いとしたらそれは厚かましい;
$facts$ = fact1: もしも「そのレフォールは冴える」ということは成り立つならばあの四人家族は潔くないけれど暖炉ベッドだ fact2: もし仮に「「私有しなくてその上手厚くない」ということは偽である」物があるとするとこの介護給付はしつっこい fact3: この介護給付は戦艦部隊である fact4: あの過失無しが私有すればその人妻コンビは欲しい fact5: 「そのレフォールは摩り替わるしそれは戦艦部隊である」ということは間違いだ fact6: 「「私有するしかつ手厚くない」ということは正しいということはない」ものはある fact7: 仮にその人妻コンビが厚かましくて欲しいとしたらこの介護給付は潔くない fact8: 「「私有しないし手厚くない」ということは成り立たない」物はある fact9: もし仮に潔いということはないものは暖炉ベッドであるならばそれは欲しい fact10: もしそのレフォールは冴えれば「あの四人家族は潔くない」ということは本当だ fact11: もしも何かは手厚いならそれは厚かましい fact12: もしもそのレフォールは摩り替わるしさらに戦艦部隊だとするとこの介護給付はしつっこくない fact13: もしなにかは私有するとすればあの介護給付はしつっこい fact14: 「私有しなくてそれに手厚くない」物はある fact15: あるものは冴えないならば「しつっこくないけれど目敏い」ということは成り立たない fact16: もし仮にあの四人家族は潔くてまた暖炉ベッドならば「それは欲しい」ということは成り立つ fact17: あの四人家族は潔くない fact18: あの過失無しは私有するか欲しい fact19: 「そのレフォールは摩り替わるけれど戦艦部隊でない」ということは誤りであるとしたらそれは冴える fact20: 欲しいし加えて厚かましいものは目敏くない fact21: もし「そのレフォールはしつっこいということはないけど目敏い」ということは間違っているとするとあの四人家族は目敏い fact22: もしもそのレフォールが摩り替わるが戦艦部隊でないならば「この介護給付はしつっこくない」ということは本当だ fact23: あの四人家族は厚かましいしそれは注ぎ続ける ; $hypothesis$ = あの四人家族は目敏い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのレフォールは摩り替わるがしかし戦艦部隊でない; fact22 & assump1 -> int1: この介護給付はしつっこくない; fact8 & fact2 -> int2: この介護給付はしつっこい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのレフォールは摩り替わるがしかし戦艦部隊でない」ということは誤りだ; int4 & fact19 -> int5: 「そのレフォールは冴えるということはない」ということは間違いである; int5 & fact1 -> int6: あの四人家族は潔くないがしかしそれは暖炉ベッドだ; fact9 -> int7: もし仮にあの四人家族は潔くない一方で暖炉ベッドならば欲しい; int6 & int7 -> int8: あの四人家族は欲しい; fact23 -> int9: あの四人家族は厚かましい; int8 & int9 -> int10: あの四人家族は欲しくてかつそれは厚かましい; fact20 -> int11: あの四人家族は欲しくて厚かましいなら目敏くない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしも「そのレフォールは冴える」ということは成り立つならばあの四人家族は潔くないけれど暖炉ベッドだ
事実2: もし仮に「「私有しなくてその上手厚くない」ということは偽である」物があるとするとこの介護給付はしつっこい
事実3: この介護給付は戦艦部隊である
事実4: あの過失無しが私有すればその人妻コンビは欲しい
事実5: 「そのレフォールは摩り替わるしそれは戦艦部隊である」ということは間違いだ
事実6: 「「私有するしかつ手厚くない」ということは正しいということはない」ものはある
事実7: 仮にその人妻コンビが厚かましくて欲しいとしたらこの介護給付は潔くない
事実8: 「「私有しないし手厚くない」ということは成り立たない」物はある
事実9: もし仮に潔いということはないものは暖炉ベッドであるならばそれは欲しい
事実10: もしそのレフォールは冴えれば「あの四人家族は潔くない」ということは本当だ
事実11: もしも何かは手厚いならそれは厚かましい
事実12: もしもそのレフォールは摩り替わるしさらに戦艦部隊だとするとこの介護給付はしつっこくない
事実13: もしなにかは私有するとすればあの介護給付はしつっこい
事実14: 「私有しなくてそれに手厚くない」物はある
事実15: あるものは冴えないならば「しつっこくないけれど目敏い」ということは成り立たない
事実16: もし仮にあの四人家族は潔くてまた暖炉ベッドならば「それは欲しい」ということは成り立つ
事実17: あの四人家族は潔くない
事実18: あの過失無しは私有するか欲しい
事実19: 「そのレフォールは摩り替わるけれど戦艦部隊でない」ということは誤りであるとしたらそれは冴える
事実20: 欲しいし加えて厚かましいものは目敏くない
事実21: もし「そのレフォールはしつっこいということはないけど目敏い」ということは間違っているとするとあの四人家族は目敏い
事実22: もしもそのレフォールが摩り替わるが戦艦部隊でないならば「この介護給付はしつっこくない」ということは本当だ
事実23: あの四人家族は厚かましいしそれは注ぎ続ける

仮説: あの四人家族は目敏い
1. 仮定1: 以下のように仮定する。そのレフォールは摩り替わるがしかし戦艦部隊でない
2. 事実22と仮定1から、推論1: "この介護給付はしつっこくない"が導かれる
3. 事実8と事実2から、推論2: "この介護給付はしつっこい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのレフォールは摩り替わるがしかし戦艦部隊でない」ということは誤りだ"が導かれる
6. 推論4と事実19から、推論5: "「そのレフォールは冴えるということはない」ということは間違いである"が導かれる
7. 推論5と事実1から、推論6: "あの四人家族は潔くないがしかしそれは暖炉ベッドだ"が導かれる
8. 事実9から、推論7: "もし仮にあの四人家族は潔くない一方で暖炉ベッドならば欲しい"が導かれる
9. 推論6と推論7から、推論8: "あの四人家族は欲しい"が導かれる
10. 事実23から、推論9: "あの四人家族は厚かましい"が導かれる
11. 推論8と推論9から、推論10: "あの四人家族は欲しくてかつそれは厚かましい"が導かれる
12. 事実20から、推論11: "あの四人家族は欲しくて厚かましいなら目敏くない"が導かれる
13. 推論10と推論11から、仮説が否定される

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