「この枳実は網戸でないけれど和睦だ」ということは成り立たない
fact1: 「生き易い」ものはある fact2: もし仮に何らかの物は和睦であるならば「この枳実は仲睦まじいしおまけに網戸だ」ということは成り立たない fact3: もし仮に「仲睦まじい」ものはあるとすると「その緊急手術は網戸であるということはないがしかしそれは和睦である」ということは嘘である fact4: この枳実は網戸でない fact5: 「網戸な」ものはある fact6: もしも「「網戸である」ということは正しい」物はあるとしたら「この枳実が和睦だしさらに仲睦まじい」ということは嘘だ fact7: 仮に「仲睦まじい」ものはあるとすれば「この枳実は網戸でないけれど和睦である」ということは嘘だ fact8: 「その挫屈は仲睦まじくないがしかし黙殺する」ということは間違っている fact9: 「「この枳実は仲睦まじいし更に和睦である」ということは成り立つということはない」ということは確かである fact10: 仮に「網戸である」物はあるなら「この枳実は仲睦まじくて和睦だ」ということは成り立たない fact11: もしなんらかのものは網戸だとすれば「その緊急手術は和睦であるし更に仲睦まじい」ということは成り立たない fact12: なにがしかのものが網戸でないし仲睦まじくないとすると言い辛い fact13: 仮になにかは仲睦まじいなら「その緊急手術は網戸でそれにそれは和睦である」ということは誤りだ fact14: 「その緊急手術は仲睦まじくないが和睦だ」ということは確かでない fact15: 何らかのものは和睦であるなら「この枳実は網戸でないけれどそれは仲睦まじい」ということは成り立つということはない fact16: 「この枳実は網戸であるしまたそれは仲睦まじい」ということは間違っている fact17: 「この枳実はすーごくないが体感する」ということは偽である fact18: 「もしあの事務内容が対処しないとしたらこの枳実は和睦でないけど結び付き易い」ということは成り立つ fact19: 「その緊急手術は仲睦まじくてまた和睦である」ということは成り立たない fact20: その緊急手術は仲睦まじい fact21: 「「この枳実は網戸であるしおまけに和睦だ」ということは正しい」ということは嘘だ fact22: 仮に「仲睦まじい」ものはあれば「この枳実は網戸であるしその上和睦だ」ということは成り立つということはない
fact20 -> int1: 「仲睦まじい」物はある; int1 & fact7 -> hypothesis;
「言い辛い」物はある
fact25 -> int2: もし仮にこの枳実は網戸でなくてかつ仲睦まじくないならばそれは言い辛い;
$facts$ = fact1: 「生き易い」ものはある fact2: もし仮に何らかの物は和睦であるならば「この枳実は仲睦まじいしおまけに網戸だ」ということは成り立たない fact3: もし仮に「仲睦まじい」ものはあるとすると「その緊急手術は網戸であるということはないがしかしそれは和睦である」ということは嘘である fact4: この枳実は網戸でない fact5: 「網戸な」ものはある fact6: もしも「「網戸である」ということは正しい」物はあるとしたら「この枳実が和睦だしさらに仲睦まじい」ということは嘘だ fact7: 仮に「仲睦まじい」ものはあるとすれば「この枳実は網戸でないけれど和睦である」ということは嘘だ fact8: 「その挫屈は仲睦まじくないがしかし黙殺する」ということは間違っている fact9: 「「この枳実は仲睦まじいし更に和睦である」ということは成り立つということはない」ということは確かである fact10: 仮に「網戸である」物はあるなら「この枳実は仲睦まじくて和睦だ」ということは成り立たない fact11: もしなんらかのものは網戸だとすれば「その緊急手術は和睦であるし更に仲睦まじい」ということは成り立たない fact12: なにがしかのものが網戸でないし仲睦まじくないとすると言い辛い fact13: 仮になにかは仲睦まじいなら「その緊急手術は網戸でそれにそれは和睦である」ということは誤りだ fact14: 「その緊急手術は仲睦まじくないが和睦だ」ということは確かでない fact15: 何らかのものは和睦であるなら「この枳実は網戸でないけれどそれは仲睦まじい」ということは成り立つということはない fact16: 「この枳実は網戸であるしまたそれは仲睦まじい」ということは間違っている fact17: 「この枳実はすーごくないが体感する」ということは偽である fact18: 「もしあの事務内容が対処しないとしたらこの枳実は和睦でないけど結び付き易い」ということは成り立つ fact19: 「その緊急手術は仲睦まじくてまた和睦である」ということは成り立たない fact20: その緊急手術は仲睦まじい fact21: 「「この枳実は網戸であるしおまけに和睦だ」ということは正しい」ということは嘘だ fact22: 仮に「仲睦まじい」ものはあれば「この枳実は網戸であるしその上和睦だ」ということは成り立つということはない ; $hypothesis$ = 「この枳実は網戸でないけれど和睦だ」ということは成り立たない ; $proof$ = 
fact20 -> int1: 「仲睦まじい」物はある; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「生き易い」ものはある
事実2: もし仮に何らかの物は和睦であるならば「この枳実は仲睦まじいしおまけに網戸だ」ということは成り立たない
事実3: もし仮に「仲睦まじい」ものはあるとすると「その緊急手術は網戸であるということはないがしかしそれは和睦である」ということは嘘である
事実4: この枳実は網戸でない
事実5: 「網戸な」ものはある
事実6: もしも「「網戸である」ということは正しい」物はあるとしたら「この枳実が和睦だしさらに仲睦まじい」ということは嘘だ
事実7: 仮に「仲睦まじい」ものはあるとすれば「この枳実は網戸でないけれど和睦である」ということは嘘だ
事実8: 「その挫屈は仲睦まじくないがしかし黙殺する」ということは間違っている
事実9: 「「この枳実は仲睦まじいし更に和睦である」ということは成り立つということはない」ということは確かである
事実10: 仮に「網戸である」物はあるなら「この枳実は仲睦まじくて和睦だ」ということは成り立たない
事実11: もしなんらかのものは網戸だとすれば「その緊急手術は和睦であるし更に仲睦まじい」ということは成り立たない
事実12: なにがしかのものが網戸でないし仲睦まじくないとすると言い辛い
事実13: 仮になにかは仲睦まじいなら「その緊急手術は網戸でそれにそれは和睦である」ということは誤りだ
事実14: 「その緊急手術は仲睦まじくないが和睦だ」ということは確かでない
事実15: 何らかのものは和睦であるなら「この枳実は網戸でないけれどそれは仲睦まじい」ということは成り立つということはない
事実16: 「この枳実は網戸であるしまたそれは仲睦まじい」ということは間違っている
事実17: 「この枳実はすーごくないが体感する」ということは偽である
事実18: 「もしあの事務内容が対処しないとしたらこの枳実は和睦でないけど結び付き易い」ということは成り立つ
事実19: 「その緊急手術は仲睦まじくてまた和睦である」ということは成り立たない
事実20: その緊急手術は仲睦まじい
事実21: 「「この枳実は網戸であるしおまけに和睦だ」ということは正しい」ということは嘘だ
事実22: 仮に「仲睦まじい」ものはあれば「この枳実は網戸であるしその上和睦だ」ということは成り立つということはない

仮説: 「この枳実は網戸でないけれど和睦だ」ということは成り立たない
1. 事実20から、推論1: "「仲睦まじい」物はある"が導かれる
2. 推論1と事実7から、仮説が導かれる

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