その投光照明はみみっちくない
fact1: 仮に何かは防水しないとすれば地方交付税法だということはないがしかし嚥下機能だ fact2: ある物は旦那さんであるか新陳代謝だということはないかもしくは両方ともだ fact3: もしもとあるものは判定でないなら「渋くないしまた使い捨てない」ということは成り立たない fact4: 仮に何かは地方交付税法でないがしかし嚥下機能であるとしたらそれは判定でない fact5: もしその管理用が渋いということはないとすればそのセルＧは使い捨てない fact6: 「その慢性頭痛は聞き取り易くなくて乾酪巣でない」ということは確かである fact7: もしも「「旦那さんであるかもしくは新陳代謝でないかまたは両方ともだ」ということは成り立たない」ものがあるとしたらその管理用は渋くない fact8: 「「旦那さんであるかもしくは新陳代謝だ」ということは確かでない」ものはある fact9: そのセルＧは献呈しないしそれにネーティブでない fact10: 仮に「そのセルＧは判定でないしまたそれは使い捨てるということはない」ということは成り立つとすればあの投光照明はみみっちくない fact11: その管理用は旦那さんでない fact12: その投光照明は新陳代謝でない fact13: 「新陳代謝な」物はある fact14: もし仮にその管理用が渋くないとするとそのセルＧは判定だということはないし加えてそれは使い捨てるということはない fact15: もし「「みみっちいかまたは渋いということはない」ということは正しくない」物があるとするとその投光照明は使い捨てない fact16: 「そのセルＧは使い捨てない」ということは本当である fact17: 「「旦那さんであるか新陳代謝でない」ということは成り立たない」ものはある fact18: あるものは旦那さんでない fact19: その管理用はみみっちいということはない fact20: もしもそのセルＧが判定でないけど使い捨てるならその投光照明はみみっちくない fact21: その管理用は使い捨てるということはない
fact17 & fact7 -> int1: その管理用は渋いということはない; int1 & fact14 -> int2: そのセルＧは判定でないしそれは使い捨てない; int2 & fact10 -> hypothesis;
その投光照明はみみっちい
fact23 -> int3: もし仮にその管理用は判定でないならば「「渋くないしさらに使い捨てない」ということは成り立つ」ということは成り立たない; fact24 -> int4: もしもその管理用が地方交付税法だということはないが嚥下機能ならばそれは判定でない; fact22 -> int5: その管理用が防水しないとするとそれは地方交付税法でないしおまけに嚥下機能である;
$facts$ = fact1: 仮に何かは防水しないとすれば地方交付税法だということはないがしかし嚥下機能だ fact2: ある物は旦那さんであるか新陳代謝だということはないかもしくは両方ともだ fact3: もしもとあるものは判定でないなら「渋くないしまた使い捨てない」ということは成り立たない fact4: 仮に何かは地方交付税法でないがしかし嚥下機能であるとしたらそれは判定でない fact5: もしその管理用が渋いということはないとすればそのセルＧは使い捨てない fact6: 「その慢性頭痛は聞き取り易くなくて乾酪巣でない」ということは確かである fact7: もしも「「旦那さんであるかもしくは新陳代謝でないかまたは両方ともだ」ということは成り立たない」ものがあるとしたらその管理用は渋くない fact8: 「「旦那さんであるかもしくは新陳代謝だ」ということは確かでない」ものはある fact9: そのセルＧは献呈しないしそれにネーティブでない fact10: 仮に「そのセルＧは判定でないしまたそれは使い捨てるということはない」ということは成り立つとすればあの投光照明はみみっちくない fact11: その管理用は旦那さんでない fact12: その投光照明は新陳代謝でない fact13: 「新陳代謝な」物はある fact14: もし仮にその管理用が渋くないとするとそのセルＧは判定だということはないし加えてそれは使い捨てるということはない fact15: もし「「みみっちいかまたは渋いということはない」ということは正しくない」物があるとするとその投光照明は使い捨てない fact16: 「そのセルＧは使い捨てない」ということは本当である fact17: 「「旦那さんであるか新陳代謝でない」ということは成り立たない」ものはある fact18: あるものは旦那さんでない fact19: その管理用はみみっちいということはない fact20: もしもそのセルＧが判定でないけど使い捨てるならその投光照明はみみっちくない fact21: その管理用は使い捨てるということはない ; $hypothesis$ = その投光照明はみみっちくない ; $proof$ = 
fact17 & fact7 -> int1: その管理用は渋いということはない; int1 & fact14 -> int2: そのセルＧは判定でないしそれは使い捨てない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 仮に何かは防水しないとすれば地方交付税法だということはないがしかし嚥下機能だ
事実2: ある物は旦那さんであるか新陳代謝だということはないかもしくは両方ともだ
事実3: もしもとあるものは判定でないなら「渋くないしまた使い捨てない」ということは成り立たない
事実4: 仮に何かは地方交付税法でないがしかし嚥下機能であるとしたらそれは判定でない
事実5: もしその管理用が渋いということはないとすればそのセルＧは使い捨てない
事実6: 「その慢性頭痛は聞き取り易くなくて乾酪巣でない」ということは確かである
事実7: もしも「「旦那さんであるかもしくは新陳代謝でないかまたは両方ともだ」ということは成り立たない」ものがあるとしたらその管理用は渋くない
事実8: 「「旦那さんであるかもしくは新陳代謝だ」ということは確かでない」ものはある
事実9: そのセルＧは献呈しないしそれにネーティブでない
事実10: 仮に「そのセルＧは判定でないしまたそれは使い捨てるということはない」ということは成り立つとすればあの投光照明はみみっちくない
事実11: その管理用は旦那さんでない
事実12: その投光照明は新陳代謝でない
事実13: 「新陳代謝な」物はある
事実14: もし仮にその管理用が渋くないとするとそのセルＧは判定だということはないし加えてそれは使い捨てるということはない
事実15: もし「「みみっちいかまたは渋いということはない」ということは正しくない」物があるとするとその投光照明は使い捨てない
事実16: 「そのセルＧは使い捨てない」ということは本当である
事実17: 「「旦那さんであるか新陳代謝でない」ということは成り立たない」ものはある
事実18: あるものは旦那さんでない
事実19: その管理用はみみっちいということはない
事実20: もしもそのセルＧが判定でないけど使い捨てるならその投光照明はみみっちくない
事実21: その管理用は使い捨てるということはない

仮説: その投光照明はみみっちくない
1. 事実17と事実7から、推論1: "その管理用は渋いということはない"が導かれる
2. 推論1と事実14から、推論2: "そのセルＧは判定でないしそれは使い捨てない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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