そのアウトラインフォントは理解し難くない
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: 以下のように仮定する。そのアウトラインフォントは理解し難くない; fact5 & assump1 -> int1: そのアウトラインフォントは弾き易くないしおまけに売り渡さない; int1 -> int2: そのアウトラインフォントは弾き易くない; fact8 & fact2 -> int3: 「そのアウトラインフォントは戻し易くないが心置き無い」ということは間違っている; int3 & fact13 -> int4: 「そのアウトラインフォントは弾き易い」ということは本当である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのアウトラインフォントは理解し難くない
fact25 -> int6: もし仮に「そのアウトラインフォントは戻し易い」ということは確かならばそれは理解し難くないしそれは心置き無い; fact24 -> int7: 仮にそのアウトラインフォントが再発し易いならば戻し易い;
$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: 以下のように仮定する。そのアウトラインフォントは理解し難くない; fact5 & assump1 -> int1: そのアウトラインフォントは弾き易くないしおまけに売り渡さない; int1 -> int2: そのアウトラインフォントは弾き易くない; fact8 & fact2 -> int3: 「そのアウトラインフォントは戻し易くないが心置き無い」ということは間違っている; int3 & fact13 -> int4: 「そのアウトラインフォントは弾き易い」ということは本当である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> 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. 事実5と仮定1から、推論1: "そのアウトラインフォントは弾き易くないしおまけに売り渡さない"が導かれる
3. 推論1から、推論2: "そのアウトラインフォントは弾き易くない"が導かれる
4. 事実8と事実2から、推論3: "「そのアウトラインフォントは戻し易くないが心置き無い」ということは間違っている"が導かれる
5. 推論3と事実13から、推論4: "「そのアウトラインフォントは弾き易い」ということは本当である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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