「「この大喝采は汚らしいしまた空々しい」ということは本当でない」ということは正しい
fact1: 「そのＱＲＳは御美しくないがしかし羨ましい」ということは成り立たない fact2: もし仮にそのＱＲＳは乾き易くないとすると「この大喝采は汚らしいしさらに空々しい」ということは偽である fact3: その正常値は全体主義国家でない fact4: 乾き易い物は汚らしい fact5: それは求婚するしおまけにそれは田舎っぽくないという物はない fact6: 「そのＱＲＳは御美しいししかも羨ましい」ということは嘘だ fact7: 「その顕教は単結合であるし挿入する」ということは嘘だとするとその中央揃えはドラムセットでない fact8: 仮になにかは統一戦線だということはないとすれば「その顕教は単結合であるしそれにそれは挿入する」ということは成り立たない fact9: この大喝采は紫でまた第一次石油危機時だ fact10: もし仮に「そのＱＲＳは御美しくない一方で羨ましい」ということは間違いだとしたらこの大喝采は乾き易い fact11: この生魚は利用者宅だし臆病者である fact12: 仮にそのＱＲＳが御美しいとするとこの大喝采は乾き易い fact13: もしもなにかはドラムセットでないとすれば「それは全体主義国家でないし更にそれは乾き易い」ということは嘘である fact14: その正常値は全体主義国家でないならば「この大喝采は空々しい」ということは成り立つ fact15: もしもその正常値が乾き易いということはないとすればそのＱＲＳは乾き易くない fact16: もしも「ある物は求婚するがそれは田舎っぽくない」ということは偽だとするとそれは統一戦線でない
fact10 & fact1 -> int1: この大喝采は乾き易い; fact4 -> int2: 仮にこの大喝采が乾き易いとすれば汚らしい; int1 & int2 -> int3: この大喝采は汚らしい; fact14 & fact3 -> int4: この大喝采は空々しい; int3 & int4 -> hypothesis;
「この大喝采が汚らしいしその上それは空々しい」ということは嘘だ
fact21 -> int5: もしその中央揃えはドラムセットでないなら「全体主義国家でない一方で乾き易い」ということは成り立たない; fact20 -> int6: もし仮に「あのミュージアムショップは求婚するけれど田舎っぽいない」ということは事実だということはないならばそれは統一戦線でない; fact23 -> int7: 「あのミュージアムショップは求婚する一方で田舎っぽくない」ということは成り立たない; int6 & int7 -> int8: あのミュージアムショップは統一戦線でない; int8 -> int9: 「統一戦線でない」物はある; int9 & fact22 -> int10: 「その顕教は単結合でそれに挿入する」ということは成り立たない; fact18 & int10 -> int11: その中央揃えはドラムセットでない; int5 & int11 -> int12: 「その中央揃えは全体主義国家でない一方で乾き易い」ということは成り立たない; int12 -> int13: 「「「全体主義国家でないけれど乾き易い」ということは偽な」ものはある」ということは確かである;
$facts$ = fact1: 「そのＱＲＳは御美しくないがしかし羨ましい」ということは成り立たない fact2: もし仮にそのＱＲＳは乾き易くないとすると「この大喝采は汚らしいしさらに空々しい」ということは偽である fact3: その正常値は全体主義国家でない fact4: 乾き易い物は汚らしい fact5: それは求婚するしおまけにそれは田舎っぽくないという物はない fact6: 「そのＱＲＳは御美しいししかも羨ましい」ということは嘘だ fact7: 「その顕教は単結合であるし挿入する」ということは嘘だとするとその中央揃えはドラムセットでない fact8: 仮になにかは統一戦線だということはないとすれば「その顕教は単結合であるしそれにそれは挿入する」ということは成り立たない fact9: この大喝采は紫でまた第一次石油危機時だ fact10: もし仮に「そのＱＲＳは御美しくない一方で羨ましい」ということは間違いだとしたらこの大喝采は乾き易い fact11: この生魚は利用者宅だし臆病者である fact12: 仮にそのＱＲＳが御美しいとするとこの大喝采は乾き易い fact13: もしもなにかはドラムセットでないとすれば「それは全体主義国家でないし更にそれは乾き易い」ということは嘘である fact14: その正常値は全体主義国家でないならば「この大喝采は空々しい」ということは成り立つ fact15: もしもその正常値が乾き易いということはないとすればそのＱＲＳは乾き易くない fact16: もしも「ある物は求婚するがそれは田舎っぽくない」ということは偽だとするとそれは統一戦線でない ; $hypothesis$ = 「「この大喝采は汚らしいしまた空々しい」ということは本当でない」ということは正しい ; $proof$ = 
fact10 & fact1 -> int1: この大喝采は乾き易い; fact4 -> int2: 仮にこの大喝采が乾き易いとすれば汚らしい; int1 & int2 -> int3: この大喝采は汚らしい; fact14 & fact3 -> int4: この大喝采は空々しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「そのＱＲＳは御美しくないがしかし羨ましい」ということは成り立たない
事実2: もし仮にそのＱＲＳは乾き易くないとすると「この大喝采は汚らしいしさらに空々しい」ということは偽である
事実3: その正常値は全体主義国家でない
事実4: 乾き易い物は汚らしい
事実5: それは求婚するしおまけにそれは田舎っぽくないという物はない
事実6: 「そのＱＲＳは御美しいししかも羨ましい」ということは嘘だ
事実7: 「その顕教は単結合であるし挿入する」ということは嘘だとするとその中央揃えはドラムセットでない
事実8: 仮になにかは統一戦線だということはないとすれば「その顕教は単結合であるしそれにそれは挿入する」ということは成り立たない
事実9: この大喝采は紫でまた第一次石油危機時だ
事実10: もし仮に「そのＱＲＳは御美しくない一方で羨ましい」ということは間違いだとしたらこの大喝采は乾き易い
事実11: この生魚は利用者宅だし臆病者である
事実12: 仮にそのＱＲＳが御美しいとするとこの大喝采は乾き易い
事実13: もしもなにかはドラムセットでないとすれば「それは全体主義国家でないし更にそれは乾き易い」ということは嘘である
事実14: その正常値は全体主義国家でないならば「この大喝采は空々しい」ということは成り立つ
事実15: もしもその正常値が乾き易いということはないとすればそのＱＲＳは乾き易くない
事実16: もしも「ある物は求婚するがそれは田舎っぽくない」ということは偽だとするとそれは統一戦線でない

仮説: 「「この大喝采は汚らしいしまた空々しい」ということは本当でない」ということは正しい
1. 事実10と事実1から、推論1: "この大喝采は乾き易い"が導かれる
2. 事実4から、推論2: "仮にこの大喝采が乾き易いとすれば汚らしい"が導かれる
3. 推論1と推論2から、推論3: "この大喝采は汚らしい"が導かれる
4. 事実14と事実3から、推論4: "この大喝采は空々しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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