「あの無人カメラは代位弁済するということはないしかつ不払いでない」ということは成り立たない
fact1: もしあの無人カメラは運動選手であるならば「代位弁済しないしそれにそれは不払いだ」ということは誤りだ fact2: 「なにがしかの物は代位弁済すれば「放置出来ないしおまけに買い易くない」ということは成り立つということはない」ということは成り立つ fact3: もし何かは運動選手であるとすると「それは代位弁済するししかもそれは不払いでない」ということは間違っている fact4: もし仮にあの無人カメラは詰るとすれば「運動選手である」ということは本当である fact5: 仮になんらかの物は運動選手であるなら「それは代位弁済しないしそれに不払いでない」ということは成り立たない fact6: もしもそのアナウンサーが政策担当者であるとしたらこの回転率は政策担当者だ fact7: 「あの無人カメラは代位弁済するが不払いでない」ということは間違いである fact8: 「あの無人カメラは紛失しなくて詰らない」ということは偽だ fact9: そのアナウンサーが手荒いとするとこの回転率は政策担当者である fact10: 「あの無人カメラは紛失しない一方で詰る」ということは誤りだ fact11: もし仮に何らかの物は表示し為さらないならば「それは倍するし運動選手である」ということは成り立たない fact12: もしなんらかの物は運動選手だとすれば「代位弁済するということはないしその上それは不払いだ」ということは偽だ fact13: そのアナウンサーは政策担当者であるかあるいは手荒いか両方だ fact14: 仮に「とある物は倍するし更に運動選手である」ということは嘘だとしたら運動選手でない fact15: 「あの無人カメラは代位弁済しないがしかし不払いである」ということは誤りだ fact16: その退出は詰る fact17: もし仮にあの無人カメラは運動選手であるとすれば「それは代位弁済するし更に不払いでない」ということは成り立たない fact18: もしも「あの新生鎖骨は不払いでない」ということは事実であるならば代位弁済するしその上運動選手だ fact19: 仮にこの回転率が政策担当者であるしそれは電気工場であるとすると「その社会福祉実践は表示し為さるということはない」ということは成り立つ fact20: もし仮に「あの無人カメラは紛失しないし更に詰らない」ということは誤っているとするとそれは運動選手だ fact21: もし仮にあの無人カメラはおっそろしとすると「それは常連客でなくてかつ代位弁済する」ということは成り立たない
fact20 & fact8 -> int1: あの無人カメラは運動選手だ; fact5 -> int2: もしあの無人カメラは運動選手であるとしたら「それは代位弁済しないし更に不払いでない」ということは成り立つということはない; int1 & int2 -> hypothesis;
「あの新生鎖骨は放置出来なくて買い易くない」ということは事実でない
fact22 -> int3: 仮にあの新生鎖骨は代位弁済するとすれば「それは放置出来ないししかも買い易くない」ということは真実でない;
$facts$ = fact1: もしあの無人カメラは運動選手であるならば「代位弁済しないしそれにそれは不払いだ」ということは誤りだ fact2: 「なにがしかの物は代位弁済すれば「放置出来ないしおまけに買い易くない」ということは成り立つということはない」ということは成り立つ fact3: もし何かは運動選手であるとすると「それは代位弁済するししかもそれは不払いでない」ということは間違っている fact4: もし仮にあの無人カメラは詰るとすれば「運動選手である」ということは本当である fact5: 仮になんらかの物は運動選手であるなら「それは代位弁済しないしそれに不払いでない」ということは成り立たない fact6: もしもそのアナウンサーが政策担当者であるとしたらこの回転率は政策担当者だ fact7: 「あの無人カメラは代位弁済するが不払いでない」ということは間違いである fact8: 「あの無人カメラは紛失しなくて詰らない」ということは偽だ fact9: そのアナウンサーが手荒いとするとこの回転率は政策担当者である fact10: 「あの無人カメラは紛失しない一方で詰る」ということは誤りだ fact11: もし仮に何らかの物は表示し為さらないならば「それは倍するし運動選手である」ということは成り立たない fact12: もしなんらかの物は運動選手だとすれば「代位弁済するということはないしその上それは不払いだ」ということは偽だ fact13: そのアナウンサーは政策担当者であるかあるいは手荒いか両方だ fact14: 仮に「とある物は倍するし更に運動選手である」ということは嘘だとしたら運動選手でない fact15: 「あの無人カメラは代位弁済しないがしかし不払いである」ということは誤りだ fact16: その退出は詰る fact17: もし仮にあの無人カメラは運動選手であるとすれば「それは代位弁済するし更に不払いでない」ということは成り立たない fact18: もしも「あの新生鎖骨は不払いでない」ということは事実であるならば代位弁済するしその上運動選手だ fact19: 仮にこの回転率が政策担当者であるしそれは電気工場であるとすると「その社会福祉実践は表示し為さるということはない」ということは成り立つ fact20: もし仮に「あの無人カメラは紛失しないし更に詰らない」ということは誤っているとするとそれは運動選手だ fact21: もし仮にあの無人カメラはおっそろしとすると「それは常連客でなくてかつ代位弁済する」ということは成り立たない ; $hypothesis$ = 「あの無人カメラは代位弁済するということはないしかつ不払いでない」ということは成り立たない ; $proof$ = 
fact20 & fact8 -> int1: あの無人カメラは運動選手だ; fact5 -> int2: もしあの無人カメラは運動選手であるとしたら「それは代位弁済しないし更に不払いでない」ということは成り立つということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあの無人カメラは運動選手であるならば「代位弁済しないしそれにそれは不払いだ」ということは誤りだ
事実2: 「なにがしかの物は代位弁済すれば「放置出来ないしおまけに買い易くない」ということは成り立つということはない」ということは成り立つ
事実3: もし何かは運動選手であるとすると「それは代位弁済するししかもそれは不払いでない」ということは間違っている
事実4: もし仮にあの無人カメラは詰るとすれば「運動選手である」ということは本当である
事実5: 仮になんらかの物は運動選手であるなら「それは代位弁済しないしそれに不払いでない」ということは成り立たない
事実6: もしもそのアナウンサーが政策担当者であるとしたらこの回転率は政策担当者だ
事実7: 「あの無人カメラは代位弁済するが不払いでない」ということは間違いである
事実8: 「あの無人カメラは紛失しなくて詰らない」ということは偽だ
事実9: そのアナウンサーが手荒いとするとこの回転率は政策担当者である
事実10: 「あの無人カメラは紛失しない一方で詰る」ということは誤りだ
事実11: もし仮に何らかの物は表示し為さらないならば「それは倍するし運動選手である」ということは成り立たない
事実12: もしなんらかの物は運動選手だとすれば「代位弁済するということはないしその上それは不払いだ」ということは偽だ
事実13: そのアナウンサーは政策担当者であるかあるいは手荒いか両方だ
事実14: 仮に「とある物は倍するし更に運動選手である」ということは嘘だとしたら運動選手でない
事実15: 「あの無人カメラは代位弁済しないがしかし不払いである」ということは誤りだ
事実16: その退出は詰る
事実17: もし仮にあの無人カメラは運動選手であるとすれば「それは代位弁済するし更に不払いでない」ということは成り立たない
事実18: もしも「あの新生鎖骨は不払いでない」ということは事実であるならば代位弁済するしその上運動選手だ
事実19: 仮にこの回転率が政策担当者であるしそれは電気工場であるとすると「その社会福祉実践は表示し為さるということはない」ということは成り立つ
事実20: もし仮に「あの無人カメラは紛失しないし更に詰らない」ということは誤っているとするとそれは運動選手だ
事実21: もし仮にあの無人カメラはおっそろしとすると「それは常連客でなくてかつ代位弁済する」ということは成り立たない

仮説: 「あの無人カメラは代位弁済するということはないしかつ不払いでない」ということは成り立たない
1. 事実20と事実8から、推論1: "あの無人カメラは運動選手だ"が導かれる
2. 事実5から、推論2: "もしあの無人カメラは運動選手であるとしたら「それは代位弁済しないし更に不払いでない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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