このテキストレイヤーは寒い
fact1: 「「有りで見慣れる」ということは成り立たない」物はある fact2: もし「「有りだがしかし見慣れない」ということは誤っている」ものがあるならこのテキストレイヤーは憶測する fact3: とある物が見慣れるとすればこのテキストレイヤーは憶測する fact4: 寒くない物は可愛いしその上憶測する fact5: 「その本号は寒くないがそれは羨ましい」ということは成り立たないとしたらこのスタンプは寒くない fact6: なんらかのものは憶測するとすれば「それは寒くない」ということは真実だ fact7: 「その本号は有りであるし見慣れる」ということは成り立たない fact8: その本号は可愛くない fact9: 仮にその本号は可愛くないとしたら「有りであるし加えて見慣れない」ということは偽である fact10: もしなにかはテレビメーカーでないとしたら「それは寒くないしかつ羨ましい」ということは誤っている fact11: もしその本号は可愛くないとすれば「それは有りであるしまたそれは見慣れる」ということは成り立たない fact12: 「「有りだがしかし見慣れない」ということは成り立つ」物はある fact13: このテキストレイヤーが騒ぎ出すしその上それは就航する
fact9 & fact8 -> int1: 「その本号は有りである一方で見慣れない」ということは成り立たない; int1 -> int2: 「「有りであるが見慣れない」ということは成り立たない」物はある; int2 & fact2 -> int3: 「このテキストレイヤーは憶測する」ということは成り立つ; fact6 -> int4: もし仮にこのテキストレイヤーが憶測するとしたらそれは寒くない; int3 & int4 -> hypothesis;
このスタンプは可愛い
fact17 -> int5: このスタンプは寒くないなら「可愛いし憶測する」ということは正しい; fact15 -> int6: もしその本号はテレビメーカーでないとすると「それは寒くないが羨ましい」ということは成り立たない; fact16 -> int7: このテキストレイヤーは就航する; int7 -> int8: 「就航する」ものはある;
$facts$ = fact1: 「「有りで見慣れる」ということは成り立たない」物はある fact2: もし「「有りだがしかし見慣れない」ということは誤っている」ものがあるならこのテキストレイヤーは憶測する fact3: とある物が見慣れるとすればこのテキストレイヤーは憶測する fact4: 寒くない物は可愛いしその上憶測する fact5: 「その本号は寒くないがそれは羨ましい」ということは成り立たないとしたらこのスタンプは寒くない fact6: なんらかのものは憶測するとすれば「それは寒くない」ということは真実だ fact7: 「その本号は有りであるし見慣れる」ということは成り立たない fact8: その本号は可愛くない fact9: 仮にその本号は可愛くないとしたら「有りであるし加えて見慣れない」ということは偽である fact10: もしなにかはテレビメーカーでないとしたら「それは寒くないしかつ羨ましい」ということは誤っている fact11: もしその本号は可愛くないとすれば「それは有りであるしまたそれは見慣れる」ということは成り立たない fact12: 「「有りだがしかし見慣れない」ということは成り立つ」物はある fact13: このテキストレイヤーが騒ぎ出すしその上それは就航する ; $hypothesis$ = このテキストレイヤーは寒い ; $proof$ = 
fact9 & fact8 -> int1: 「その本号は有りである一方で見慣れない」ということは成り立たない; int1 -> int2: 「「有りであるが見慣れない」ということは成り立たない」物はある; int2 & fact2 -> int3: 「このテキストレイヤーは憶測する」ということは成り立つ; fact6 -> int4: もし仮にこのテキストレイヤーが憶測するとしたらそれは寒くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「「有りで見慣れる」ということは成り立たない」物はある
事実2: もし「「有りだがしかし見慣れない」ということは誤っている」ものがあるならこのテキストレイヤーは憶測する
事実3: とある物が見慣れるとすればこのテキストレイヤーは憶測する
事実4: 寒くない物は可愛いしその上憶測する
事実5: 「その本号は寒くないがそれは羨ましい」ということは成り立たないとしたらこのスタンプは寒くない
事実6: なんらかのものは憶測するとすれば「それは寒くない」ということは真実だ
事実7: 「その本号は有りであるし見慣れる」ということは成り立たない
事実8: その本号は可愛くない
事実9: 仮にその本号は可愛くないとしたら「有りであるし加えて見慣れない」ということは偽である
事実10: もしなにかはテレビメーカーでないとしたら「それは寒くないしかつ羨ましい」ということは誤っている
事実11: もしその本号は可愛くないとすれば「それは有りであるしまたそれは見慣れる」ということは成り立たない
事実12: 「「有りだがしかし見慣れない」ということは成り立つ」物はある
事実13: このテキストレイヤーが騒ぎ出すしその上それは就航する

仮説: このテキストレイヤーは寒い
1. 事実9と事実8から、推論1: "「その本号は有りである一方で見慣れない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「有りであるが見慣れない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実2から、推論3: "「このテキストレイヤーは憶測する」ということは成り立つ"が導かれる
4. 事実6から、推論4: "もし仮にこのテキストレイヤーが憶測するとしたらそれは寒くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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