この看護記録は長期ケアだということはない
fact1: もし仮に「長期ケアでない」ものはあるとすると「「この看護記録は建築しない一方で嫉妬深い」ということは間違っている」ということは事実だ fact2: あのリリエンタール兄弟はべた付き易くないししかもそれは枕詞でない fact3: あの活動目的は案内しない fact4: 「「行相だ」ということは成り立たない」物はある fact5: 「あの均質化は報酬比例部分だ」ということは確かだ fact6: 「「行相でない」ものはあるとしたら「あの活動目的は股関節だということはないしさらに嫉妬深くない」ということは嘘である」ということは正しい fact7: あの活動目的はべた付き易い fact8: 報酬比例部分は長期ケアだ fact9: この看護記録は股関節でないならそれは報酬比例部分でない fact10: 刺々しい物はある fact11: この看護記録は報酬比例部分でない fact12: 仮に「行相であるということはない」物はあれば「あの活動目的は股関節である一方でそれは嫉妬深いということはない」ということは本当でない fact13: あの活動目的が股関節でないとすると報酬比例部分でないしさらにそれは長期ケアでない fact14: もし仮になにがしかの物が建築するということはないとすると股関節でないしさらに嫉妬深くない fact15: もしもこの看護記録は報酬比例部分でないとするとそれは共産主義政府でない fact16: 「この看護記録はべた基礎工法であるということはないけれどべた付き易い」ということは間違っている fact17: あの本末は建築するということはない fact18: なにがしかの物が長期ケアでないとすると報酬比例部分でないしそれは共産主義政府でない fact19: もしも「この看護記録は長期ケアでない」ということは確かであるなら共産主義政府でないし嫉妬深くない fact20: もしこの看護記録が長期ケアであるけれど共産主義政府でないとしたらあの活動目的は建築するということはない fact21: あの巨悪は建築しない fact22: 「嫉妬深くない」物はあるなら「あの活動目的は建築しないがしかし共産主義政府である」ということは成り立たない fact23: もしも「共産主義政府でない」物はあるなら「この看護記録は長期ケアでない一方で建築する」ということは成り立たない
fact15 & fact11 -> int1: この看護記録は共産主義政府でない; void -> assump1: 以下のように仮定する。この看護記録は長期ケアである; int1 & assump1 -> int2: この看護記録は長期ケアだがそれは共産主義政府だということはない; int2 & fact20 -> int3: あの活動目的は建築しない; fact14 -> int4: もし仮にあの活動目的が建築するということはないなら股関節でなくてその上嫉妬深くない; int3 & int4 -> int5: あの活動目的は股関節でないしその上嫉妬深いということはない; fact6 & fact4 -> int6: 「あの活動目的は股関節であるということはないしそれにそれは嫉妬深くない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この看護記録は長期ケアだ
fact24 -> int8: この看護記録が報酬比例部分だとすればそれは長期ケアだ;
$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$ = 
fact15 & fact11 -> int1: この看護記録は共産主義政府でない; void -> assump1: 以下のように仮定する。この看護記録は長期ケアである; int1 & assump1 -> int2: この看護記録は長期ケアだがそれは共産主義政府だということはない; int2 & fact20 -> int3: あの活動目的は建築しない; fact14 -> int4: もし仮にあの活動目的が建築するということはないなら股関節でなくてその上嫉妬深くない; int3 & int4 -> int5: あの活動目的は股関節でないしその上嫉妬深いということはない; fact6 & fact4 -> int6: 「あの活動目的は股関節であるということはないしそれにそれは嫉妬深くない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮に「長期ケアでない」ものはあるとすると「「この看護記録は建築しない一方で嫉妬深い」ということは間違っている」ということは事実だ
事実2: あのリリエンタール兄弟はべた付き易くないししかもそれは枕詞でない
事実3: あの活動目的は案内しない
事実4: 「「行相だ」ということは成り立たない」物はある
事実5: 「あの均質化は報酬比例部分だ」ということは確かだ
事実6: 「「行相でない」ものはあるとしたら「あの活動目的は股関節だということはないしさらに嫉妬深くない」ということは嘘である」ということは正しい
事実7: あの活動目的はべた付き易い
事実8: 報酬比例部分は長期ケアだ
事実9: この看護記録は股関節でないならそれは報酬比例部分でない
事実10: 刺々しい物はある
事実11: この看護記録は報酬比例部分でない
事実12: 仮に「行相であるということはない」物はあれば「あの活動目的は股関節である一方でそれは嫉妬深いということはない」ということは本当でない
事実13: あの活動目的が股関節でないとすると報酬比例部分でないしさらにそれは長期ケアでない
事実14: もし仮になにがしかの物が建築するということはないとすると股関節でないしさらに嫉妬深くない
事実15: もしもこの看護記録は報酬比例部分でないとするとそれは共産主義政府でない
事実16: 「この看護記録はべた基礎工法であるということはないけれどべた付き易い」ということは間違っている
事実17: あの本末は建築するということはない
事実18: なにがしかの物が長期ケアでないとすると報酬比例部分でないしそれは共産主義政府でない
事実19: もしも「この看護記録は長期ケアでない」ということは確かであるなら共産主義政府でないし嫉妬深くない
事実20: もしこの看護記録が長期ケアであるけれど共産主義政府でないとしたらあの活動目的は建築するということはない
事実21: あの巨悪は建築しない
事実22: 「嫉妬深くない」物はあるなら「あの活動目的は建築しないがしかし共産主義政府である」ということは成り立たない
事実23: もしも「共産主義政府でない」物はあるなら「この看護記録は長期ケアでない一方で建築する」ということは成り立たない

仮説: この看護記録は長期ケアだということはない
1. 事実15と事実11から、推論1: "この看護記録は共産主義政府でない"が導かれる
2. 仮定1: 以下のように仮定する。この看護記録は長期ケアである
3. 推論1と仮定1から、推論2: "この看護記録は長期ケアだがそれは共産主義政府だということはない"が導かれる
4. 推論2と事実20から、推論3: "あの活動目的は建築しない"が導かれる
5. 事実14から、推論4: "もし仮にあの活動目的が建築するということはないなら股関節でなくてその上嫉妬深くない"が導かれる
6. 推論3と推論4から、推論5: "あの活動目的は股関節でないしその上嫉妬深いということはない"が導かれる
7. 事実6と事実4から、推論6: "「あの活動目的は股関節であるということはないしそれにそれは嫉妬深くない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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