「この販売促進活動は乾き易いがそれは騒ぎ出さない」ということは偽である
fact1: 「「ラッキーフードでないし加えてキー入力しない」ということは嘘な」物はある fact2: 「そのやえん投入は酔い易い」ということは確かである fact3: その児童・生徒はリアスポイラーである fact4: この販売促進活動は洗髪する一方で覚束無くない fact5: もしもそのやえん投入は酔い易いとしたら「その児童・生徒は脱落するがしかし入れ込むということはない」ということは間違いである fact6: もし仮にそのやえん投入は酔い易いなら「その児童・生徒は脱落しないししかも入れ込まない」ということは成り立たない fact7: もしも「そのやえん投入は騒ぎ出さないしかつ酔い易くない」ということは事実でないとすると「この販売促進活動は入れ込まない」ということは確かだ fact8: もし仮にその児童・生徒が脱落するならばあの販売促進活動は騒ぎ出すということはない fact9: リアスポイラーはラッキーフードであるなら覚束無くない fact10: もし仮に「その児童・生徒は脱落するということはないしおまけにそれは入れ込まない」ということは事実と異なるなら「この販売促進活動は騒ぎ出さない」ということは確かだ fact11: もしも「「ラッキーフードでないしさらにキー入力しない」ということは成り立つということはない」物があるとするとその児童・生徒はラッキーフードだ fact12: もしなんらかの物が洗髪するならそれは乾き易い
fact6 & fact2 -> int1: 「その児童・生徒は脱落しなくて加えて入れ込むということはない」ということは偽だ; int1 & fact10 -> int2: この販売促進活動は騒ぎ出さない; fact12 -> int3: もし「この販売促進活動は洗髪する」ということは成り立つとするとそれは乾き易い; fact4 -> int4: この販売促進活動は洗髪する; int3 & int4 -> int5: この販売促進活動は乾き易い; int2 & int5 -> hypothesis;
この販売促進活動は入れ込まない
fact16 -> int6: 仮にその児童・生徒はリアスポイラーでそれにラッキーフードであるならば「それは覚束無くない」ということは誤っていない; fact14 & fact17 -> int7: その児童・生徒はラッキーフードである; fact13 & int7 -> int8: その児童・生徒はリアスポイラーだし更にラッキーフードである; int6 & int8 -> int9: その児童・生徒は覚束無くない;
$facts$ = fact1: 「「ラッキーフードでないし加えてキー入力しない」ということは嘘な」物はある fact2: 「そのやえん投入は酔い易い」ということは確かである fact3: その児童・生徒はリアスポイラーである fact4: この販売促進活動は洗髪する一方で覚束無くない fact5: もしもそのやえん投入は酔い易いとしたら「その児童・生徒は脱落するがしかし入れ込むということはない」ということは間違いである fact6: もし仮にそのやえん投入は酔い易いなら「その児童・生徒は脱落しないししかも入れ込まない」ということは成り立たない fact7: もしも「そのやえん投入は騒ぎ出さないしかつ酔い易くない」ということは事実でないとすると「この販売促進活動は入れ込まない」ということは確かだ fact8: もし仮にその児童・生徒が脱落するならばあの販売促進活動は騒ぎ出すということはない fact9: リアスポイラーはラッキーフードであるなら覚束無くない fact10: もし仮に「その児童・生徒は脱落するということはないしおまけにそれは入れ込まない」ということは事実と異なるなら「この販売促進活動は騒ぎ出さない」ということは確かだ fact11: もしも「「ラッキーフードでないしさらにキー入力しない」ということは成り立つということはない」物があるとするとその児童・生徒はラッキーフードだ fact12: もしなんらかの物が洗髪するならそれは乾き易い ; $hypothesis$ = 「この販売促進活動は乾き易いがそれは騒ぎ出さない」ということは偽である ; $proof$ = 
fact6 & fact2 -> int1: 「その児童・生徒は脱落しなくて加えて入れ込むということはない」ということは偽だ; int1 & fact10 -> int2: この販売促進活動は騒ぎ出さない; fact12 -> int3: もし「この販売促進活動は洗髪する」ということは成り立つとするとそれは乾き易い; fact4 -> int4: この販売促進活動は洗髪する; int3 & int4 -> int5: この販売促進活動は乾き易い; int2 & int5 -> hypothesis; __DISPROVED__
事実1: 「「ラッキーフードでないし加えてキー入力しない」ということは嘘な」物はある
事実2: 「そのやえん投入は酔い易い」ということは確かである
事実3: その児童・生徒はリアスポイラーである
事実4: この販売促進活動は洗髪する一方で覚束無くない
事実5: もしもそのやえん投入は酔い易いとしたら「その児童・生徒は脱落するがしかし入れ込むということはない」ということは間違いである
事実6: もし仮にそのやえん投入は酔い易いなら「その児童・生徒は脱落しないししかも入れ込まない」ということは成り立たない
事実7: もしも「そのやえん投入は騒ぎ出さないしかつ酔い易くない」ということは事実でないとすると「この販売促進活動は入れ込まない」ということは確かだ
事実8: もし仮にその児童・生徒が脱落するならばあの販売促進活動は騒ぎ出すということはない
事実9: リアスポイラーはラッキーフードであるなら覚束無くない
事実10: もし仮に「その児童・生徒は脱落するということはないしおまけにそれは入れ込まない」ということは事実と異なるなら「この販売促進活動は騒ぎ出さない」ということは確かだ
事実11: もしも「「ラッキーフードでないしさらにキー入力しない」ということは成り立つということはない」物があるとするとその児童・生徒はラッキーフードだ
事実12: もしなんらかの物が洗髪するならそれは乾き易い

仮説: 「この販売促進活動は乾き易いがそれは騒ぎ出さない」ということは偽である
1. 事実6と事実2から、推論1: "「その児童・生徒は脱落しなくて加えて入れ込むということはない」ということは偽だ"が導かれる
2. 推論1と事実10から、推論2: "この販売促進活動は騒ぎ出さない"が導かれる
3. 事実12から、推論3: "もし「この販売促進活動は洗髪する」ということは成り立つとするとそれは乾き易い"が導かれる
4. 事実4から、推論4: "この販売促進活動は洗髪する"が導かれる
5. 推論3と推論4から、推論5: "この販売促進活動は乾き易い"が導かれる
6. 推論2と推論5から、仮説が否定される

よって、仮説が否定されました。