あの膝枕は落っことすらないがしかしそれは勤労者である
fact1: もし仮にあの共通化は一変すれば「このオーシャン島は由々しくないかまたは投書するかまたはどちらもだ」ということは誤りである fact2: なにかは乱発しないならば「「それは一変するしまたそれは水臭い」ということは成り立つ」ということは成り立たない fact3: 仮にこのオーシャン島は水臭くないなら「「あの膝枕は落っことすらないがしかし勤労者だ」ということは確かだ」ということは成り立たない fact4: もし仮にあの共通化は水臭いとしたら「このオーシャン島は投書しないかもしくは一変するかどちらもである」ということは間違っている fact5: 「このオーシャン島は由々しくない」ということは本当でない fact6: 仮にこのオーシャン島は水臭くないとしたら「あの共通化は投書しないがしかし由々しい」ということは誤りだ fact7: もしこのオーシャン島は水臭いということはないならば「あの膝枕は落っことすし更に勤労者だ」ということは成り立たない fact8: もし仮に「あの共通化は落っことすということはないかまたは一変するか両方ともだ」ということは成り立つということはないとしたらそれは投書しない fact9: あの膝枕は投書する fact10: もしもこのオーシャン島は勤労者でないなら「あの膝枕は由々しくないけれど一変する」ということは誤りだ fact11: もしあの共通化が一変するならこのオーシャン島は由々しい fact12: もし「あるものは由々しいか投書する」ということは嘘だとすれば「水臭くない」ということは事実だ fact13: この変身振りは投書する fact14: 「あの膝枕は投書しないけれどすげない」ということは成り立たない fact15: もしも「何かは由々しくないかまたはそれは投書する」ということは成り立たないとするとそれは水臭くない fact16: この長谷川家は勤労者でない fact17: もしあの膝枕は落っことすなら「このオーシャン島は水臭くないかまたはそれは勤労者だ」ということは誤りである fact18: もしこのオーシャン島は一変するとすれば「あの共通化は投書しないかまたはそれは落っことすかもしくは両方ともである」ということは成り立たない fact19: もしも「このオーシャン島は由々しいかそれは投書するかまたはどちらもだ」ということは事実と異なるとするとそれは水臭くない fact20: あの膝枕は水臭くない fact21: 「とある物は一変するし水臭い」ということは成り立たないとすれば落っことすらない fact22: あの共通化は一変する fact23: 「あの膝枕は落っことすしかつそれは勤労者である」ということは成り立つということはない
fact1 & fact22 -> int1: 「このオーシャン島は由々しいということはないか投書するかまたはどちらもだ」ということは事実と異なる; fact15 -> int2: 仮に「このオーシャン島は由々しくないかそれは投書する」ということは事実と異なるとすると水臭くない; int1 & int2 -> int3: このオーシャン島は水臭いということはない; int3 & fact3 -> hypothesis;
fact1 & fact22 -> int1: ¬(¬{AA}{b} v {AB}{b}); fact15 -> int2: ¬(¬{AA}{b} v {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact3 -> hypothesis;
あの膝枕は落っことすらないけど勤労者である
fact25 -> int4: 仮に「あの膝枕は一変するし水臭い」ということは間違っているとしたら落っことすらない; fact24 -> int5: あの膝枕は乱発しないならば「一変するしそれは水臭い」ということは誤りだ;
$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$ = 
fact1 & fact22 -> int1: 「このオーシャン島は由々しいということはないか投書するかまたはどちらもだ」ということは事実と異なる; fact15 -> int2: 仮に「このオーシャン島は由々しくないかそれは投書する」ということは事実と異なるとすると水臭くない; int1 & int2 -> int3: このオーシャン島は水臭いということはない; int3 & fact3 -> 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と事実22から、推論1: "「このオーシャン島は由々しいということはないか投書するかまたはどちらもだ」ということは事実と異なる"が導かれる
2. 事実15から、推論2: "仮に「このオーシャン島は由々しくないかそれは投書する」ということは事実と異なるとすると水臭くない"が導かれる
3. 推論1と推論2から、推論3: "このオーシャン島は水臭いということはない"が導かれる
4. 推論3と事実3から、仮説が否定される

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