「この三重塔は潔くない」ということは本当である
fact1: あの計測サイトは秘しない fact2: もしもその二階建ては特定都市鉄道整備準備金制度でなくて諸寺でないとすると「その一リットル当たりは諸寺だということはない」ということは成り立つ fact3: 「その一リットル当たりがすこいとするとその臨床的特徴は潔い一方で秘するということはない」ということは正しい fact4: もしも「その会計事実は怖ーいということはないしそれにそれは諸寺でない」ということは間違っているとするとそのエンゼルフィッシュはテレホンでない fact5: その臨床的特徴はすこい fact6: その国民負担は秘するということはない fact7: 「その一リットル当たりは諸寺だ」ということは嘘であるなら「この三重塔は怖ーいしかつ記憶する」ということは嘘だ fact8: その二階建ては特定都市鉄道整備準備金制度だということはない fact9: この三重塔は秘しない fact10: もし仮にその臨床的特徴が秘しないけど潔いとしたらこの三重塔はすこくない fact11: その臨床的特徴は秘するということはない fact12: その臨床的特徴が潔いけどそれが秘しないならこの三重塔は潔い fact13: この三重塔は痛み易くない fact14: そのエンゼルフィッシュはテレホンでないとすると「その二階建ては記憶しないしその上すこいない」ということは成り立つということはない fact15: テレホンは潔いということはなくてまたすこくない fact16: 「もし仮にその臨床的特徴が秘しないけれどそれがすこいならこの三重塔は潔くない」ということは偽でない fact17: もしも「そのエンゼルフィッシュはノンファセットだということはない一方で塩・胡椒だ」ということは成り立たないとしたらその二階建ては諸寺だということはない
fact11 & fact5 -> int1: その臨床的特徴は秘しないがすこい; int1 & fact16 -> hypothesis;
fact11 & fact5 -> int1: (¬{A}{a} & {B}{a}); int1 & fact16 -> hypothesis;
あの飛翔は秘しない
fact19 -> int2: もしその臨床的特徴がテレホンだとしたらそれは潔くなくてまたすこくない;
$facts$ = fact1: あの計測サイトは秘しない fact2: もしもその二階建ては特定都市鉄道整備準備金制度でなくて諸寺でないとすると「その一リットル当たりは諸寺だということはない」ということは成り立つ fact3: 「その一リットル当たりがすこいとするとその臨床的特徴は潔い一方で秘するということはない」ということは正しい fact4: もしも「その会計事実は怖ーいということはないしそれにそれは諸寺でない」ということは間違っているとするとそのエンゼルフィッシュはテレホンでない fact5: その臨床的特徴はすこい fact6: その国民負担は秘するということはない fact7: 「その一リットル当たりは諸寺だ」ということは嘘であるなら「この三重塔は怖ーいしかつ記憶する」ということは嘘だ fact8: その二階建ては特定都市鉄道整備準備金制度だということはない fact9: この三重塔は秘しない fact10: もし仮にその臨床的特徴が秘しないけど潔いとしたらこの三重塔はすこくない fact11: その臨床的特徴は秘するということはない fact12: その臨床的特徴が潔いけどそれが秘しないならこの三重塔は潔い fact13: この三重塔は痛み易くない fact14: そのエンゼルフィッシュはテレホンでないとすると「その二階建ては記憶しないしその上すこいない」ということは成り立つということはない fact15: テレホンは潔いということはなくてまたすこくない fact16: 「もし仮にその臨床的特徴が秘しないけれどそれがすこいならこの三重塔は潔くない」ということは偽でない fact17: もしも「そのエンゼルフィッシュはノンファセットだということはない一方で塩・胡椒だ」ということは成り立たないとしたらその二階建ては諸寺だということはない ; $hypothesis$ = 「この三重塔は潔くない」ということは本当である ; $proof$ = 
fact11 & fact5 -> int1: その臨床的特徴は秘しないがすこい; int1 & fact16 -> hypothesis; __PROVED__
事実1: あの計測サイトは秘しない
事実2: もしもその二階建ては特定都市鉄道整備準備金制度でなくて諸寺でないとすると「その一リットル当たりは諸寺だということはない」ということは成り立つ
事実3: 「その一リットル当たりがすこいとするとその臨床的特徴は潔い一方で秘するということはない」ということは正しい
事実4: もしも「その会計事実は怖ーいということはないしそれにそれは諸寺でない」ということは間違っているとするとそのエンゼルフィッシュはテレホンでない
事実5: その臨床的特徴はすこい
事実6: その国民負担は秘するということはない
事実7: 「その一リットル当たりは諸寺だ」ということは嘘であるなら「この三重塔は怖ーいしかつ記憶する」ということは嘘だ
事実8: その二階建ては特定都市鉄道整備準備金制度だということはない
事実9: この三重塔は秘しない
事実10: もし仮にその臨床的特徴が秘しないけど潔いとしたらこの三重塔はすこくない
事実11: その臨床的特徴は秘するということはない
事実12: その臨床的特徴が潔いけどそれが秘しないならこの三重塔は潔い
事実13: この三重塔は痛み易くない
事実14: そのエンゼルフィッシュはテレホンでないとすると「その二階建ては記憶しないしその上すこいない」ということは成り立つということはない
事実15: テレホンは潔いということはなくてまたすこくない
事実16: 「もし仮にその臨床的特徴が秘しないけれどそれがすこいならこの三重塔は潔くない」ということは偽でない
事実17: もしも「そのエンゼルフィッシュはノンファセットだということはない一方で塩・胡椒だ」ということは成り立たないとしたらその二階建ては諸寺だということはない

仮説: 「この三重塔は潔くない」ということは本当である
1. 事実11と事実5から、推論1: "その臨床的特徴は秘しないがすこい"が導かれる
2. 推論1と事実16から、仮説が導かれる

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