このウィンドウ左下は悪戯っぽくない
fact1: あの大盤振る舞いは十一月中旬でなくてそれは艶めかしくない fact2: 疑わしくないものは持続的農業である fact3: 十一月中旬は艶めかしいということはないなら「あの値下げ戦略はさんざめく」ということは真実である fact4: もしもその藁草履は消化吸収され易くないとしたら「あの高コレステロールは付け難くないが疑わしい」ということは事実と異なる fact5: 仮にその藁草履は付け難いならば「あの値下げ戦略は消化吸収され易い」ということは確かだ fact6: もしもあの値下げ戦略が消化吸収され易くてそれにさんざめけばこのウィンドウ左下は悪戯っぽくない fact7: 仮に「その須山さん達は痛感するということはなくて加えて生み難くない」ということは成り立たないならあの高コレステロールは疑わしいということはない fact8: あの高コレステロールが持続的農業であるとするとその藁草履は付け難い fact9: 仮にあの値下げ戦略は十一月中旬でないとすると「「消化吸収され易いしさんざめく」ということは事実だ」ということは成り立たない fact10: もし仮にある物が十一月中旬であるということはなくて艶めかしくないとしたらあの値下げ戦略はさんざめく fact11: 仮にその須山さん達は悪戯っぽいとしたら「このウィンドウ左下は悪戯っぽい」ということは成り立つ fact12: 「「十一月中旬であるし法線だ」ということは成り立たない」物はある fact13: 「その須山さん達は痛感するということはなくて生み難いということはない」ということは本当でない fact14: もし仮にあるものは持続的農業であるとしたら「悪戯っぽい」ということは事実である
fact7 & fact13 -> int1: あの高コレステロールは疑わしくない; fact2 -> int2: もしあの高コレステロールが疑わしくないとすれば持続的農業である; int1 & int2 -> int3: あの高コレステロールは持続的農業である; int3 & fact8 -> int4: その藁草履は付け難い; int4 & fact5 -> int5: あの値下げ戦略は消化吸収され易い; fact1 -> int6: 「何かは十一月中旬でなくてその上艶めかしいない」ということは確かだ; fact10 & int6 -> int7: あの値下げ戦略はさんざめく; int5 & int7 -> int8: あの値下げ戦略は消化吸収され易くてさらにさんざめく; int8 & fact6 -> hypothesis;
「このウィンドウ左下は悪戯っぽい」ということは真実である
fact19 -> int9: 仮にその須山さん達は持続的農業であるならば悪戯っぽい;
$facts$ = fact1: あの大盤振る舞いは十一月中旬でなくてそれは艶めかしくない fact2: 疑わしくないものは持続的農業である fact3: 十一月中旬は艶めかしいということはないなら「あの値下げ戦略はさんざめく」ということは真実である fact4: もしもその藁草履は消化吸収され易くないとしたら「あの高コレステロールは付け難くないが疑わしい」ということは事実と異なる fact5: 仮にその藁草履は付け難いならば「あの値下げ戦略は消化吸収され易い」ということは確かだ fact6: もしもあの値下げ戦略が消化吸収され易くてそれにさんざめけばこのウィンドウ左下は悪戯っぽくない fact7: 仮に「その須山さん達は痛感するということはなくて加えて生み難くない」ということは成り立たないならあの高コレステロールは疑わしいということはない fact8: あの高コレステロールが持続的農業であるとするとその藁草履は付け難い fact9: 仮にあの値下げ戦略は十一月中旬でないとすると「「消化吸収され易いしさんざめく」ということは事実だ」ということは成り立たない fact10: もし仮にある物が十一月中旬であるということはなくて艶めかしくないとしたらあの値下げ戦略はさんざめく fact11: 仮にその須山さん達は悪戯っぽいとしたら「このウィンドウ左下は悪戯っぽい」ということは成り立つ fact12: 「「十一月中旬であるし法線だ」ということは成り立たない」物はある fact13: 「その須山さん達は痛感するということはなくて生み難いということはない」ということは本当でない fact14: もし仮にあるものは持続的農業であるとしたら「悪戯っぽい」ということは事実である ; $hypothesis$ = このウィンドウ左下は悪戯っぽくない ; $proof$ = 
fact7 & fact13 -> int1: あの高コレステロールは疑わしくない; fact2 -> int2: もしあの高コレステロールが疑わしくないとすれば持続的農業である; int1 & int2 -> int3: あの高コレステロールは持続的農業である; int3 & fact8 -> int4: その藁草履は付け難い; int4 & fact5 -> int5: あの値下げ戦略は消化吸収され易い; fact1 -> int6: 「何かは十一月中旬でなくてその上艶めかしいない」ということは確かだ; fact10 & int6 -> int7: あの値下げ戦略はさんざめく; int5 & int7 -> int8: あの値下げ戦略は消化吸収され易くてさらにさんざめく; int8 & fact6 -> hypothesis; __PROVED__
事実1: あの大盤振る舞いは十一月中旬でなくてそれは艶めかしくない
事実2: 疑わしくないものは持続的農業である
事実3: 十一月中旬は艶めかしいということはないなら「あの値下げ戦略はさんざめく」ということは真実である
事実4: もしもその藁草履は消化吸収され易くないとしたら「あの高コレステロールは付け難くないが疑わしい」ということは事実と異なる
事実5: 仮にその藁草履は付け難いならば「あの値下げ戦略は消化吸収され易い」ということは確かだ
事実6: もしもあの値下げ戦略が消化吸収され易くてそれにさんざめけばこのウィンドウ左下は悪戯っぽくない
事実7: 仮に「その須山さん達は痛感するということはなくて加えて生み難くない」ということは成り立たないならあの高コレステロールは疑わしいということはない
事実8: あの高コレステロールが持続的農業であるとするとその藁草履は付け難い
事実9: 仮にあの値下げ戦略は十一月中旬でないとすると「「消化吸収され易いしさんざめく」ということは事実だ」ということは成り立たない
事実10: もし仮にある物が十一月中旬であるということはなくて艶めかしくないとしたらあの値下げ戦略はさんざめく
事実11: 仮にその須山さん達は悪戯っぽいとしたら「このウィンドウ左下は悪戯っぽい」ということは成り立つ
事実12: 「「十一月中旬であるし法線だ」ということは成り立たない」物はある
事実13: 「その須山さん達は痛感するということはなくて生み難いということはない」ということは本当でない
事実14: もし仮にあるものは持続的農業であるとしたら「悪戯っぽい」ということは事実である

仮説: このウィンドウ左下は悪戯っぽくない
1. 事実7と事実13から、推論1: "あの高コレステロールは疑わしくない"が導かれる
2. 事実2から、推論2: "もしあの高コレステロールが疑わしくないとすれば持続的農業である"が導かれる
3. 推論1と推論2から、推論3: "あの高コレステロールは持続的農業である"が導かれる
4. 推論3と事実8から、推論4: "その藁草履は付け難い"が導かれる
5. 推論4と事実5から、推論5: "あの値下げ戦略は消化吸収され易い"が導かれる
6. 事実1から、推論6: "「何かは十一月中旬でなくてその上艶めかしいない」ということは確かだ"が導かれる
7. 事実10と推論6から、推論7: "あの値下げ戦略はさんざめく"が導かれる
8. 推論5と推論7から、推論8: "あの値下げ戦略は消化吸収され易くてさらにさんざめく"が導かれる
9. 推論8と事実6から、仮説が導かれる

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