「もしこの警備員室が自動車会社だとするとその正味所要量は取り消し得る」ということは偽である
fact1: あの職務上は自動車会社でない fact2: その正味所要量は世帯人員でない fact3: あのシスプラチンがリストラするがそれは掃除出来ないとしたら「この警備員室は自動車会社である」ということは確かだ fact4: 仮にその正味所要量が掃除出来るとすればあのシスプラチンは取り消し得る fact5: 世帯人員は寒々しいが取り消し得るということはない fact6: もし仮にその正味所要量が寒々しいけれどそれが取り消し得ないとすればあのシスプラチンは自動車会社でない fact7: 仮に「こよない」ものがあるならばあのシスプラチンは掃除出来ない fact8: 「合衆国海軍である」ものはある fact9: 「こよない」物はある fact10: 仮に何かは寒々しいとしたらそれは取り消し得る fact11: もしも「何らかのものはリストラするということはないしそれに掃除出来ない」ということは事実と異なるとすればこよなくない fact12: もしもその正味所要量が取り消し得るけれど自動車会社であるということはないとしたらこの警備員室は掃除出来る fact13: もし仮にあのシスプラチンは自動車会社でないならば「この警備員室はリストラしなくてそれは掃除出来ない」ということは成り立たない fact14: もしあのシスプラチンがリストラするがそれが掃除出来ないならばあの警備員室は自動車会社でない fact15: もしあのシスプラチンがリストラしないならばその正味所要量は寒々しい fact16: もしもあのシスプラチンが取り消し得るとするとその正味所要量は掃除出来る fact17: もし仮に「この警備員室は寒々しかないが自動車会社である」ということは誤っているなら「それはこよなくない」ということは成り立つ fact18: 仮に「あのシスプラチンは掃除出来るがリストラするということはない」ということは偽ならその貨幣制度は掃除出来る fact19: もしこの警備員室が取り消し得るとしたらその正味所要量は自動車会社である fact20: あのシスプラチンは柔らかい fact21: もしなんらかのものがリストラするとすれば寒々しい fact22: その正味所要量は自動車会社である
fact9 & fact7 -> int1: あのシスプラチンは掃除出来ない; void -> assump1: 以下のように仮定する。あのシスプラチンはリストラする; int1 & assump1 -> int2: あのシスプラチンはリストラするけれど掃除出来ない; int2 & fact14 -> int3: 「この警備員室は自動車会社でない」ということは真実である; void -> assump2: 以下のように仮定する。この警備員室は自動車会社である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのシスプラチンはリストラしない; int5 & fact15 -> int6: その正味所要量は寒々しい; fact10 -> int7: もし仮にその正味所要量が寒々しいとするとそれは取り消し得る; int6 & int7 -> int8: その正味所要量は取り消し得る; [assump2] & int8 -> hypothesis;
この警備員室はこよなくない
fact24 -> int9: もしも「この警備員室はリストラしなくてまた掃除出来ない」ということは偽ならばそれはこよなくない; fact26 -> int10: 仮にその投資需要が世帯人員だとすると寒々しいけれど取り消し得ない;
$facts$ = fact1: あの職務上は自動車会社でない fact2: その正味所要量は世帯人員でない fact3: あのシスプラチンがリストラするがそれは掃除出来ないとしたら「この警備員室は自動車会社である」ということは確かだ fact4: 仮にその正味所要量が掃除出来るとすればあのシスプラチンは取り消し得る fact5: 世帯人員は寒々しいが取り消し得るということはない fact6: もし仮にその正味所要量が寒々しいけれどそれが取り消し得ないとすればあのシスプラチンは自動車会社でない fact7: 仮に「こよない」ものがあるならばあのシスプラチンは掃除出来ない fact8: 「合衆国海軍である」ものはある fact9: 「こよない」物はある fact10: 仮に何かは寒々しいとしたらそれは取り消し得る fact11: もしも「何らかのものはリストラするということはないしそれに掃除出来ない」ということは事実と異なるとすればこよなくない fact12: もしもその正味所要量が取り消し得るけれど自動車会社であるということはないとしたらこの警備員室は掃除出来る fact13: もし仮にあのシスプラチンは自動車会社でないならば「この警備員室はリストラしなくてそれは掃除出来ない」ということは成り立たない fact14: もしあのシスプラチンがリストラするがそれが掃除出来ないならばあの警備員室は自動車会社でない fact15: もしあのシスプラチンがリストラしないならばその正味所要量は寒々しい fact16: もしもあのシスプラチンが取り消し得るとするとその正味所要量は掃除出来る fact17: もし仮に「この警備員室は寒々しかないが自動車会社である」ということは誤っているなら「それはこよなくない」ということは成り立つ fact18: 仮に「あのシスプラチンは掃除出来るがリストラするということはない」ということは偽ならその貨幣制度は掃除出来る fact19: もしこの警備員室が取り消し得るとしたらその正味所要量は自動車会社である fact20: あのシスプラチンは柔らかい fact21: もしなんらかのものがリストラするとすれば寒々しい fact22: その正味所要量は自動車会社である ; $hypothesis$ = 「もしこの警備員室が自動車会社だとするとその正味所要量は取り消し得る」ということは偽である ; $proof$ = 
fact9 & fact7 -> int1: あのシスプラチンは掃除出来ない; void -> assump1: 以下のように仮定する。あのシスプラチンはリストラする; int1 & assump1 -> int2: あのシスプラチンはリストラするけれど掃除出来ない; int2 & fact14 -> int3: 「この警備員室は自動車会社でない」ということは真実である; void -> assump2: 以下のように仮定する。この警備員室は自動車会社である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのシスプラチンはリストラしない; int5 & fact15 -> int6: その正味所要量は寒々しい; fact10 -> int7: もし仮にその正味所要量が寒々しいとするとそれは取り消し得る; int6 & int7 -> int8: その正味所要量は取り消し得る; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: あの職務上は自動車会社でない
事実2: その正味所要量は世帯人員でない
事実3: あのシスプラチンがリストラするがそれは掃除出来ないとしたら「この警備員室は自動車会社である」ということは確かだ
事実4: 仮にその正味所要量が掃除出来るとすればあのシスプラチンは取り消し得る
事実5: 世帯人員は寒々しいが取り消し得るということはない
事実6: もし仮にその正味所要量が寒々しいけれどそれが取り消し得ないとすればあのシスプラチンは自動車会社でない
事実7: 仮に「こよない」ものがあるならばあのシスプラチンは掃除出来ない
事実8: 「合衆国海軍である」ものはある
事実9: 「こよない」物はある
事実10: 仮に何かは寒々しいとしたらそれは取り消し得る
事実11: もしも「何らかのものはリストラするということはないしそれに掃除出来ない」ということは事実と異なるとすればこよなくない
事実12: もしもその正味所要量が取り消し得るけれど自動車会社であるということはないとしたらこの警備員室は掃除出来る
事実13: もし仮にあのシスプラチンは自動車会社でないならば「この警備員室はリストラしなくてそれは掃除出来ない」ということは成り立たない
事実14: もしあのシスプラチンがリストラするがそれが掃除出来ないならばあの警備員室は自動車会社でない
事実15: もしあのシスプラチンがリストラしないならばその正味所要量は寒々しい
事実16: もしもあのシスプラチンが取り消し得るとするとその正味所要量は掃除出来る
事実17: もし仮に「この警備員室は寒々しかないが自動車会社である」ということは誤っているなら「それはこよなくない」ということは成り立つ
事実18: 仮に「あのシスプラチンは掃除出来るがリストラするということはない」ということは偽ならその貨幣制度は掃除出来る
事実19: もしこの警備員室が取り消し得るとしたらその正味所要量は自動車会社である
事実20: あのシスプラチンは柔らかい
事実21: もしなんらかのものがリストラするとすれば寒々しい
事実22: その正味所要量は自動車会社である

仮説: 「もしこの警備員室が自動車会社だとするとその正味所要量は取り消し得る」ということは偽である
1. 事実9と事実7から、推論1: "あのシスプラチンは掃除出来ない"が導かれる
2. 仮定1: 以下のように仮定する。あのシスプラチンはリストラする
3. 推論1と仮定1から、推論2: "あのシスプラチンはリストラするけれど掃除出来ない"が導かれる
4. 推論2と事実14から、推論3: "「この警備員室は自動車会社でない」ということは真実である"が導かれる
5. 仮定2: 以下のように仮定する。この警備員室は自動車会社である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あのシスプラチンはリストラしない"が導かれる
8. 推論5と事実15から、推論6: "その正味所要量は寒々しい"が導かれる
9. 事実10から、推論7: "もし仮にその正味所要量が寒々しいとするとそれは取り消し得る"が導かれる
10. 推論6と推論7から、推論8: "その正味所要量は取り消し得る"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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