そのインフォメーションは懐かしということはない
fact1: そのインフォメーションは空恐ろしくないし御寂しくない fact2: なにかはミスリードするかあるいは君らしくないかもしくはどちらもだとすればそれは君らしくない fact3: もし「その麦藁帽子は飲み易くないし加えてそれは懐かしない」ということは間違っていればその台輪は懐かしない fact4: 仮にその麦藁帽子が君らしいということはないとするとそのインフォメーションは成功度でない一方で懐かし fact5: その麦藁帽子は清々しい fact6: もしも「なにかは飲み難い」ということは本当だとしたらそれはミスリードするかあるいはそれは君らしくないかもしくは両方ともだ fact7: 「「清々しいがしかし敢行しない」ということは本当である」ものはある fact8: そのインフォメーションは漏れ易いということはない fact9: そのインフォメーションは空恐ろしくないしおまけに御寂しくないとするとそれは懐かしない fact10: もしそのインフォメーションが空恐ろしい一方で御寂しいということはないとしたらそれは懐かしということはない fact11: 仮に何らかのものは清々しいとすると「それは飲み易いということはないしさらに懐かしない」ということは偽である fact12: もし「なにがしかのものは成功度でないしさらに君らしくない」ということは成り立つとすれば説明し易くない fact13: 仮にそのインフォメーションがミスリードする一方で不開示決定通知書だということはないとすればその台輪は飲み難くない fact14: あの四作は御寂しくない fact15: 飲み易くないものは不開示決定通知書だし飲み難い fact16: そのインフォメーションが空恐ろしくない一方でそれが御寂しいとすると懐かしない fact17: あの昼間が敢行するとしたらそのインフォメーションはミスリードするがしかし不開示決定通知書でない
fact9 & fact1 -> hypothesis;
fact9 & fact1 -> hypothesis;
その台輪は懐かしないし説明し易くない
fact23 -> int1: その麦藁帽子は清々しいとすると「飲み易くないし懐かしということはない」ということは成り立たない; int1 & fact19 -> int2: 「その麦藁帽子は飲み易いということはないしまたそれは懐かしない」ということは本当でない; fact18 & int2 -> int3: その台輪は懐かしない; fact21 -> int4: その台輪が成功度でないし加えて君らしくないならそれは説明し易くない;
$facts$ = fact1: そのインフォメーションは空恐ろしくないし御寂しくない fact2: なにかはミスリードするかあるいは君らしくないかもしくはどちらもだとすればそれは君らしくない fact3: もし「その麦藁帽子は飲み易くないし加えてそれは懐かしない」ということは間違っていればその台輪は懐かしない fact4: 仮にその麦藁帽子が君らしいということはないとするとそのインフォメーションは成功度でない一方で懐かし fact5: その麦藁帽子は清々しい fact6: もしも「なにかは飲み難い」ということは本当だとしたらそれはミスリードするかあるいはそれは君らしくないかもしくは両方ともだ fact7: 「「清々しいがしかし敢行しない」ということは本当である」ものはある fact8: そのインフォメーションは漏れ易いということはない fact9: そのインフォメーションは空恐ろしくないしおまけに御寂しくないとするとそれは懐かしない fact10: もしそのインフォメーションが空恐ろしい一方で御寂しいということはないとしたらそれは懐かしということはない fact11: 仮に何らかのものは清々しいとすると「それは飲み易いということはないしさらに懐かしない」ということは偽である fact12: もし「なにがしかのものは成功度でないしさらに君らしくない」ということは成り立つとすれば説明し易くない fact13: 仮にそのインフォメーションがミスリードする一方で不開示決定通知書だということはないとすればその台輪は飲み難くない fact14: あの四作は御寂しくない fact15: 飲み易くないものは不開示決定通知書だし飲み難い fact16: そのインフォメーションが空恐ろしくない一方でそれが御寂しいとすると懐かしない fact17: あの昼間が敢行するとしたらそのインフォメーションはミスリードするがしかし不開示決定通知書でない ; $hypothesis$ = そのインフォメーションは懐かしということはない ; $proof$ = 
fact9 & fact1 -> hypothesis; __PROVED__
事実1: そのインフォメーションは空恐ろしくないし御寂しくない
事実2: なにかはミスリードするかあるいは君らしくないかもしくはどちらもだとすればそれは君らしくない
事実3: もし「その麦藁帽子は飲み易くないし加えてそれは懐かしない」ということは間違っていればその台輪は懐かしない
事実4: 仮にその麦藁帽子が君らしいということはないとするとそのインフォメーションは成功度でない一方で懐かし
事実5: その麦藁帽子は清々しい
事実6: もしも「なにかは飲み難い」ということは本当だとしたらそれはミスリードするかあるいはそれは君らしくないかもしくは両方ともだ
事実7: 「「清々しいがしかし敢行しない」ということは本当である」ものはある
事実8: そのインフォメーションは漏れ易いということはない
事実9: そのインフォメーションは空恐ろしくないしおまけに御寂しくないとするとそれは懐かしない
事実10: もしそのインフォメーションが空恐ろしい一方で御寂しいということはないとしたらそれは懐かしということはない
事実11: 仮に何らかのものは清々しいとすると「それは飲み易いということはないしさらに懐かしない」ということは偽である
事実12: もし「なにがしかのものは成功度でないしさらに君らしくない」ということは成り立つとすれば説明し易くない
事実13: 仮にそのインフォメーションがミスリードする一方で不開示決定通知書だということはないとすればその台輪は飲み難くない
事実14: あの四作は御寂しくない
事実15: 飲み易くないものは不開示決定通知書だし飲み難い
事実16: そのインフォメーションが空恐ろしくない一方でそれが御寂しいとすると懐かしない
事実17: あの昼間が敢行するとしたらそのインフォメーションはミスリードするがしかし不開示決定通知書でない

仮説: そのインフォメーションは懐かしということはない
1. 事実9と事実1から、仮説が導かれる

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