「もしも「固相でないし仕事猫でない」ということは成り立つということはないとすれば頑是無くない」物はある
fact1: もし「ある物は固相でなくてそれに仕事猫でない」ということは嘘であるなら頑是無い fact2: 仮に「この慣性は雁字でないしまた数値化出来ない」ということは成り立たないとすれば仕事猫でない fact3: 「「固相でないしかつ仕事猫でない」ということは間違いならば頑是無い」ものはある fact4: 「もしも「固相だがしかし仕事猫でない」ということは成り立たないとすれば頑是無くない」物はある fact5: もし「なんらかの物は固相でないしさらに仕事猫でない」ということは嘘ならそれは頑是無くない fact6: 「もし仮に夥しいとすると蘭学者でない」物はある fact7: もし仮にこの身の代金目的は固相であるならそれは頑是無くない fact8: 「もし仮に「固相でないしかつ仕事猫だ」ということは誤っているとすると頑是無くない」ものはある fact9: 「もしも仕事猫だとすると頑是無くない」ものはある fact10: 仮になにがしかのものが固相でなくてまた仕事猫だということはないとしたらそれは頑是無くない fact11: 仮にこの身の代金目的は固相だということはないし仕事猫でないとするとそれは頑是無くない fact12: 仮に「その空き室・明きフロアは予知能力でなくてそれに引っ返さない」ということは成り立てば頑是無くない fact13: 「もし固相でなくてかつ仕事猫でないとすれば「頑是無くない」ということは事実である」物はある fact14: 「もし固相だとすれば頑是無いということはない」ものはある fact15: 仮に「この身の代金目的は固相でない一方で仕事猫だ」ということは間違っているとすると頑是無くない fact16: 「「ぴんぴんしないし小さくない」ということは成り立つということはないなら活動し易い」物はある fact17: もし仮にこのプロモーションビデオが消化吸収され易いとするとそれは頑是無くない fact18: 仮にこの身の代金目的が言い易いとするとそれは仕事猫でない fact19: 「この身の代金目的は固相だということはないし更に仕事猫でない」ということは間違いであるとすれば頑是無い
fact5 -> int1: もし「この身の代金目的は固相でなくてその上それは仕事猫でない」ということは間違っているとするとそれは頑是無いということはない; int1 -> hypothesis;
$facts$ = fact1: もし「ある物は固相でなくてそれに仕事猫でない」ということは嘘であるなら頑是無い fact2: 仮に「この慣性は雁字でないしまた数値化出来ない」ということは成り立たないとすれば仕事猫でない fact3: 「「固相でないしかつ仕事猫でない」ということは間違いならば頑是無い」ものはある fact4: 「もしも「固相だがしかし仕事猫でない」ということは成り立たないとすれば頑是無くない」物はある fact5: もし「なんらかの物は固相でないしさらに仕事猫でない」ということは嘘ならそれは頑是無くない fact6: 「もし仮に夥しいとすると蘭学者でない」物はある fact7: もし仮にこの身の代金目的は固相であるならそれは頑是無くない fact8: 「もし仮に「固相でないしかつ仕事猫だ」ということは誤っているとすると頑是無くない」ものはある fact9: 「もしも仕事猫だとすると頑是無くない」ものはある fact10: 仮になにがしかのものが固相でなくてまた仕事猫だということはないとしたらそれは頑是無くない fact11: 仮にこの身の代金目的は固相だということはないし仕事猫でないとするとそれは頑是無くない fact12: 仮に「その空き室・明きフロアは予知能力でなくてそれに引っ返さない」ということは成り立てば頑是無くない fact13: 「もし固相でなくてかつ仕事猫でないとすれば「頑是無くない」ということは事実である」物はある fact14: 「もし固相だとすれば頑是無いということはない」ものはある fact15: 仮に「この身の代金目的は固相でない一方で仕事猫だ」ということは間違っているとすると頑是無くない fact16: 「「ぴんぴんしないし小さくない」ということは成り立つということはないなら活動し易い」物はある fact17: もし仮にこのプロモーションビデオが消化吸収され易いとするとそれは頑是無くない fact18: 仮にこの身の代金目的が言い易いとするとそれは仕事猫でない fact19: 「この身の代金目的は固相だということはないし更に仕事猫でない」ということは間違いであるとすれば頑是無い ; $hypothesis$ = 「もしも「固相でないし仕事猫でない」ということは成り立つということはないとすれば頑是無くない」物はある ; $proof$ = 
fact5 -> int1: もし「この身の代金目的は固相でなくてその上それは仕事猫でない」ということは間違っているとするとそれは頑是無いということはない; int1 -> hypothesis; __PROVED__
事実1: もし「ある物は固相でなくてそれに仕事猫でない」ということは嘘であるなら頑是無い
事実2: 仮に「この慣性は雁字でないしまた数値化出来ない」ということは成り立たないとすれば仕事猫でない
事実3: 「「固相でないしかつ仕事猫でない」ということは間違いならば頑是無い」ものはある
事実4: 「もしも「固相だがしかし仕事猫でない」ということは成り立たないとすれば頑是無くない」物はある
事実5: もし「なんらかの物は固相でないしさらに仕事猫でない」ということは嘘ならそれは頑是無くない
事実6: 「もし仮に夥しいとすると蘭学者でない」物はある
事実7: もし仮にこの身の代金目的は固相であるならそれは頑是無くない
事実8: 「もし仮に「固相でないしかつ仕事猫だ」ということは誤っているとすると頑是無くない」ものはある
事実9: 「もしも仕事猫だとすると頑是無くない」ものはある
事実10: 仮になにがしかのものが固相でなくてまた仕事猫だということはないとしたらそれは頑是無くない
事実11: 仮にこの身の代金目的は固相だということはないし仕事猫でないとするとそれは頑是無くない
事実12: 仮に「その空き室・明きフロアは予知能力でなくてそれに引っ返さない」ということは成り立てば頑是無くない
事実13: 「もし固相でなくてかつ仕事猫でないとすれば「頑是無くない」ということは事実である」物はある
事実14: 「もし固相だとすれば頑是無いということはない」ものはある
事実15: 仮に「この身の代金目的は固相でない一方で仕事猫だ」ということは間違っているとすると頑是無くない
事実16: 「「ぴんぴんしないし小さくない」ということは成り立つということはないなら活動し易い」物はある
事実17: もし仮にこのプロモーションビデオが消化吸収され易いとするとそれは頑是無くない
事実18: 仮にこの身の代金目的が言い易いとするとそれは仕事猫でない
事実19: 「この身の代金目的は固相だということはないし更に仕事猫でない」ということは間違いであるとすれば頑是無い

仮説: 「もしも「固相でないし仕事猫でない」ということは成り立つということはないとすれば頑是無くない」物はある
1. 事実5から、推論1: "もし「この身の代金目的は固相でなくてその上それは仕事猫でない」ということは間違っているとするとそれは頑是無いということはない"が導かれる
2. 推論1から、仮説が導かれる

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