もしその御申し込みが寝苦しいとするとそのアガパンサスは学力低下論である
fact1: もしも寝苦しい物が年賀状作成ソフトであるとしたらそのアガパンサスは学力低下論だ fact2: このテレカは堆い fact3: その御申し込みは堆い fact4: 「寝苦しい」物はある fact5: 「年賀状作成ソフトな」物はある fact6: もし仮にこのテレカが堆いならその御申し込みは年賀状作成ソフトだ fact7: 仮にこのテレカが寝苦しくないけれどそれが堆いならその御申し込みは堆くない fact8: もし仮に「何らかのものは年賀状作成ソフトであるけれど学力低下論でない」ということは嘘だとすればそれは学力低下論だ fact9: もしも何らかの物は堆くないとすれば「それは年賀状作成ソフトであるしおまけに学力低下論でない」ということは間違いだ
fact6 & fact2 -> int1: その御申し込みは年賀状作成ソフトである; void -> assump1: 以下のように仮定する。その御申し込みは寝苦しい; int1 & assump1 -> int2: その御申し込みは寝苦しいしかつ年賀状作成ソフトである; int2 -> int3: 「寝苦しいし年賀状作成ソフトである」ものはある; int3 & fact1 -> int4: そのアガパンサスは学力低下論だ; [assump1] & int4 -> hypothesis;
その御申し込みは学力低下論だ
fact11 -> int5: 仮に「その御申し込みは年賀状作成ソフトであるけど学力低下論でない」ということは事実と異なるとすればそれは学力低下論である; fact10 -> int6: その御申し込みは堆くないならば「それは年賀状作成ソフトである一方で学力低下論でない」ということは間違いだ;
$facts$ = fact1: もしも寝苦しい物が年賀状作成ソフトであるとしたらそのアガパンサスは学力低下論だ fact2: このテレカは堆い fact3: その御申し込みは堆い fact4: 「寝苦しい」物はある fact5: 「年賀状作成ソフトな」物はある fact6: もし仮にこのテレカが堆いならその御申し込みは年賀状作成ソフトだ fact7: 仮にこのテレカが寝苦しくないけれどそれが堆いならその御申し込みは堆くない fact8: もし仮に「何らかのものは年賀状作成ソフトであるけれど学力低下論でない」ということは嘘だとすればそれは学力低下論だ fact9: もしも何らかの物は堆くないとすれば「それは年賀状作成ソフトであるしおまけに学力低下論でない」ということは間違いだ ; $hypothesis$ = もしその御申し込みが寝苦しいとするとそのアガパンサスは学力低下論である ; $proof$ = 
fact6 & fact2 -> int1: その御申し込みは年賀状作成ソフトである; void -> assump1: 以下のように仮定する。その御申し込みは寝苦しい; int1 & assump1 -> int2: その御申し込みは寝苦しいしかつ年賀状作成ソフトである; int2 -> int3: 「寝苦しいし年賀状作成ソフトである」ものはある; int3 & fact1 -> int4: そのアガパンサスは学力低下論だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしも寝苦しい物が年賀状作成ソフトであるとしたらそのアガパンサスは学力低下論だ
事実2: このテレカは堆い
事実3: その御申し込みは堆い
事実4: 「寝苦しい」物はある
事実5: 「年賀状作成ソフトな」物はある
事実6: もし仮にこのテレカが堆いならその御申し込みは年賀状作成ソフトだ
事実7: 仮にこのテレカが寝苦しくないけれどそれが堆いならその御申し込みは堆くない
事実8: もし仮に「何らかのものは年賀状作成ソフトであるけれど学力低下論でない」ということは嘘だとすればそれは学力低下論だ
事実9: もしも何らかの物は堆くないとすれば「それは年賀状作成ソフトであるしおまけに学力低下論でない」ということは間違いだ

仮説: もしその御申し込みが寝苦しいとするとそのアガパンサスは学力低下論である
1. 事実6と事実2から、推論1: "その御申し込みは年賀状作成ソフトである"が導かれる
2. 仮定1: 以下のように仮定する。その御申し込みは寝苦しい
3. 推論1と仮定1から、推論2: "その御申し込みは寝苦しいしかつ年賀状作成ソフトである"が導かれる
4. 推論2から、推論3: "「寝苦しいし年賀状作成ソフトである」ものはある"が導かれる
5. 推論3と事実1から、推論4: "そのアガパンサスは学力低下論だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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