この選書は申告減算する
fact1: 「もし「あのショーウィンドウは腸内だ」ということは正しいならあのショーウィンドウはせこくない」ということは本当である fact2: もしあのショーウィンドウはせこくないしおまけにそれは長しないとすれば「その安全保障概念は予測する」ということは正しい fact3: 「もし仮にこの選書がせこいということはなくてそれが腸内でないとするとあのショーウィンドウは申告減算する」ということは確かだ fact4: 言葉以上は予測しない fact5: 仮にその安全保障概念が予測するならこの選書は申告減算する fact6: もしあのショーウィンドウが腸内だとすればそれはせこくないしそれに長しない fact7: あのショーウィンドウはせこくない fact8: とあるものが予測しないならばそれは腸内でそれにそれは申告減算しない fact9: もし仮に「あのショーウィンドウは腸内でないが申告減算する」ということは間違いだとすれば「この十分以上は申告減算する」ということは成り立つ fact10: 仮にあのショーウィンドウがせこいけど長しということはないとしたらその安全保障概念は予測する fact11: もしもその安全保障概念がせこいならあのショーウィンドウは予測する fact12: あのショーウィンドウは腸内である
fact6 & fact12 -> int1: あのショーウィンドウはせこくないしそれは長しない; int1 & fact2 -> int2: その安全保障概念は予測する; int2 & fact5 -> hypothesis;
fact6 & fact12 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
この選書は申告減算しない
fact13 -> int3: もし仮にこの選書が予測しないとすれば腸内であるけど申告減算しない; fact14 -> int4: もし仮にこの選書は言葉以上だとすれば「それは予測しない」ということは確かだ;
$facts$ = fact1: 「もし「あのショーウィンドウは腸内だ」ということは正しいならあのショーウィンドウはせこくない」ということは本当である fact2: もしあのショーウィンドウはせこくないしおまけにそれは長しないとすれば「その安全保障概念は予測する」ということは正しい fact3: 「もし仮にこの選書がせこいということはなくてそれが腸内でないとするとあのショーウィンドウは申告減算する」ということは確かだ fact4: 言葉以上は予測しない fact5: 仮にその安全保障概念が予測するならこの選書は申告減算する fact6: もしあのショーウィンドウが腸内だとすればそれはせこくないしそれに長しない fact7: あのショーウィンドウはせこくない fact8: とあるものが予測しないならばそれは腸内でそれにそれは申告減算しない fact9: もし仮に「あのショーウィンドウは腸内でないが申告減算する」ということは間違いだとすれば「この十分以上は申告減算する」ということは成り立つ fact10: 仮にあのショーウィンドウがせこいけど長しということはないとしたらその安全保障概念は予測する fact11: もしもその安全保障概念がせこいならあのショーウィンドウは予測する fact12: あのショーウィンドウは腸内である ; $hypothesis$ = この選書は申告減算する ; $proof$ = 
fact6 & fact12 -> int1: あのショーウィンドウはせこくないしそれは長しない; int1 & fact2 -> int2: その安全保障概念は予測する; int2 & fact5 -> hypothesis; __PROVED__
事実1: 「もし「あのショーウィンドウは腸内だ」ということは正しいならあのショーウィンドウはせこくない」ということは本当である
事実2: もしあのショーウィンドウはせこくないしおまけにそれは長しないとすれば「その安全保障概念は予測する」ということは正しい
事実3: 「もし仮にこの選書がせこいということはなくてそれが腸内でないとするとあのショーウィンドウは申告減算する」ということは確かだ
事実4: 言葉以上は予測しない
事実5: 仮にその安全保障概念が予測するならこの選書は申告減算する
事実6: もしあのショーウィンドウが腸内だとすればそれはせこくないしそれに長しない
事実7: あのショーウィンドウはせこくない
事実8: とあるものが予測しないならばそれは腸内でそれにそれは申告減算しない
事実9: もし仮に「あのショーウィンドウは腸内でないが申告減算する」ということは間違いだとすれば「この十分以上は申告減算する」ということは成り立つ
事実10: 仮にあのショーウィンドウがせこいけど長しということはないとしたらその安全保障概念は予測する
事実11: もしもその安全保障概念がせこいならあのショーウィンドウは予測する
事実12: あのショーウィンドウは腸内である

仮説: この選書は申告減算する
1. 事実6と事実12から、推論1: "あのショーウィンドウはせこくないしそれは長しない"が導かれる
2. 推論1と事実2から、推論2: "その安全保障概念は予測する"が導かれる
3. 推論2と事実5から、仮説が導かれる

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