「このオブラートは生え易い」ということは正しい
fact1: 仮に「その仕事以上は遅らせないかまたは落ち易くないかあるいはどちらもだ」ということは成り立たないとするとこの法衣は面白おかしくない fact2: その仕事以上はＬＯＲＡＮでない fact3: もしもこのオブラートが生え易いならばそれは観察し易い fact4: 際限無い物は潔い fact5: もし仮に「なにがしかのものは暴徒でそれは高齢者対策だ」ということは事実と異なるとしたらそれは高齢者対策でない fact6: あの先住民は生え易くない fact7: この軍資金はあくどい fact8: 易しない物はカラーコードでない fact9: 「何らかの物はＬＯＲＡＮでないとしたら「それは遅らせないかそれは落ち易くないかあるいは両方である」ということは間違っている」ということは確かだ fact10: もし仮にあの解散が観察し易くないしおまけにあくどくないとするとこのオブラートは生え易い fact11: もしもこの自分賛成・家族拒否が揺するということはないとするとあの解散は際限無いしかつ親しみ易い fact12: あるものは高齢者対策でないとしたらそれはハンドタオルであるということはなくて関係深いということはない fact13: もし仮にこのオブラートがあくどくないとすると観察し易くない fact14: このオブラートはあくどいということはない fact15: 潔いものは観察し易くないしあくどくない fact16: 仮にこのオブラートが浪費するとすればあくどい fact17: もしこの法衣は面白おかしくないならば「あのインシュリンは暴徒だしかつ高齢者対策だ」ということは嘘だ
void -> assump1: 以下のように仮定する。このオブラートは生え易い; fact3 & assump1 -> int1: このオブラートは観察し易い; fact14 & fact13 -> int2: 「このオブラートは観察し易くない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; fact14 & fact13 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このオブラートは生え易い
fact26 -> int4: もしもあの解散が潔いならば観察し易くないしあくどくない; fact23 -> int5: もしもあの解散が際限無いとするとそれは潔い; fact22 -> int6: もしあのインシュリンは高齢者対策でないとするとそれはハンドタオルでなくて更に関係深くない; fact24 -> int7: 「あのインシュリンは暴徒であるしそれにそれは高齢者対策だ」ということは事実と異なるならそれは高齢者対策でない; fact20 -> int8: もし仮にその仕事以上はＬＯＲＡＮでないなら「遅らせるということはないかあるいは落ち易いということはないかもしくは両方ともだ」ということは成り立つということはない; int8 & fact21 -> int9: 「その仕事以上は遅らせるということはないかまたは落ち易くないかあるいはどちらもだ」ということは確かでない; fact27 & int9 -> int10: この法衣は面白おかしくない; fact19 & int10 -> int11: 「あのインシュリンは暴徒であるしそれは高齢者対策である」ということは間違いである; int7 & int11 -> int12: あのインシュリンは高齢者対策でない; int6 & int12 -> int13: あのインシュリンはハンドタオルでなくて関係深くない; int13 -> int14: とある物はハンドタオルでないしその上関係深いということはない;
$facts$ = fact1: 仮に「その仕事以上は遅らせないかまたは落ち易くないかあるいはどちらもだ」ということは成り立たないとするとこの法衣は面白おかしくない fact2: その仕事以上はＬＯＲＡＮでない fact3: もしもこのオブラートが生え易いならばそれは観察し易い fact4: 際限無い物は潔い fact5: もし仮に「なにがしかのものは暴徒でそれは高齢者対策だ」ということは事実と異なるとしたらそれは高齢者対策でない fact6: あの先住民は生え易くない fact7: この軍資金はあくどい fact8: 易しない物はカラーコードでない fact9: 「何らかの物はＬＯＲＡＮでないとしたら「それは遅らせないかそれは落ち易くないかあるいは両方である」ということは間違っている」ということは確かだ fact10: もし仮にあの解散が観察し易くないしおまけにあくどくないとするとこのオブラートは生え易い fact11: もしもこの自分賛成・家族拒否が揺するということはないとするとあの解散は際限無いしかつ親しみ易い fact12: あるものは高齢者対策でないとしたらそれはハンドタオルであるということはなくて関係深いということはない fact13: もし仮にこのオブラートがあくどくないとすると観察し易くない fact14: このオブラートはあくどいということはない fact15: 潔いものは観察し易くないしあくどくない fact16: 仮にこのオブラートが浪費するとすればあくどい fact17: もしこの法衣は面白おかしくないならば「あのインシュリンは暴徒だしかつ高齢者対策だ」ということは嘘だ ; $hypothesis$ = 「このオブラートは生え易い」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このオブラートは生え易い; fact3 & assump1 -> int1: このオブラートは観察し易い; fact14 & fact13 -> int2: 「このオブラートは観察し易くない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「その仕事以上は遅らせないかまたは落ち易くないかあるいはどちらもだ」ということは成り立たないとするとこの法衣は面白おかしくない
事実2: その仕事以上はＬＯＲＡＮでない
事実3: もしもこのオブラートが生え易いならばそれは観察し易い
事実4: 際限無い物は潔い
事実5: もし仮に「なにがしかのものは暴徒でそれは高齢者対策だ」ということは事実と異なるとしたらそれは高齢者対策でない
事実6: あの先住民は生え易くない
事実7: この軍資金はあくどい
事実8: 易しない物はカラーコードでない
事実9: 「何らかの物はＬＯＲＡＮでないとしたら「それは遅らせないかそれは落ち易くないかあるいは両方である」ということは間違っている」ということは確かだ
事実10: もし仮にあの解散が観察し易くないしおまけにあくどくないとするとこのオブラートは生え易い
事実11: もしもこの自分賛成・家族拒否が揺するということはないとするとあの解散は際限無いしかつ親しみ易い
事実12: あるものは高齢者対策でないとしたらそれはハンドタオルであるということはなくて関係深いということはない
事実13: もし仮にこのオブラートがあくどくないとすると観察し易くない
事実14: このオブラートはあくどいということはない
事実15: 潔いものは観察し易くないしあくどくない
事実16: 仮にこのオブラートが浪費するとすればあくどい
事実17: もしこの法衣は面白おかしくないならば「あのインシュリンは暴徒だしかつ高齢者対策だ」ということは嘘だ

仮説: 「このオブラートは生え易い」ということは正しい
1. 仮定1: 以下のように仮定する。このオブラートは生え易い
2. 事実3と仮定1から、推論1: "このオブラートは観察し易い"が導かれる
3. 事実14と事実13から、推論2: "「このオブラートは観察し易くない」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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