このドーランは執念深い
fact1: もしこのドーランはラジオ・テレビでないとすると「それは実稼働であるということはなくてまた寄せるということはない」ということは偽である fact2: このドーランはラジオ・テレビであるということはない fact3: もしなんらかの物はレッスンしないとしたら「ラジオ・テレビでなくてまた慈悲深くない」ということは誤っている fact4: 仮に何かは拡大表示しないとするとアンプルティだしおまけに商いする fact5: あの取材依頼がラジオ・テレビでなくてそれが的屋だということはないならばこのドーランは執念深くない fact6: 「もし「ある物は実稼働でなくて寄せるということはない」ということは嘘であるとするとそれは執念深い」ということは確かである fact7: 「このドーランは実稼働だけれど寄せない」ということは誤っている fact8: 全ては日参しないししかも拡大表示しない
fact6 -> int1: もし「このドーランは実稼働でないし寄せない」ということは成り立たないならばそれは執念深い; fact2 & fact1 -> int2: 「このドーランは実稼働でなくてまた寄せるということはない」ということは偽だ; int1 & int2 -> hypothesis;
もしもこのドーランはレッスンしないなら「ラジオ・テレビでないし更に慈悲深くない」ということは成り立たない
fact9 -> hypothesis;
$facts$ = fact1: もしこのドーランはラジオ・テレビでないとすると「それは実稼働であるということはなくてまた寄せるということはない」ということは偽である fact2: このドーランはラジオ・テレビであるということはない fact3: もしなんらかの物はレッスンしないとしたら「ラジオ・テレビでなくてまた慈悲深くない」ということは誤っている fact4: 仮に何かは拡大表示しないとするとアンプルティだしおまけに商いする fact5: あの取材依頼がラジオ・テレビでなくてそれが的屋だということはないならばこのドーランは執念深くない fact6: 「もし「ある物は実稼働でなくて寄せるということはない」ということは嘘であるとするとそれは執念深い」ということは確かである fact7: 「このドーランは実稼働だけれど寄せない」ということは誤っている fact8: 全ては日参しないししかも拡大表示しない ; $hypothesis$ = このドーランは執念深い ; $proof$ = 
fact6 -> int1: もし「このドーランは実稼働でないし寄せない」ということは成り立たないならばそれは執念深い; fact2 & fact1 -> int2: 「このドーランは実稼働でなくてまた寄せるということはない」ということは偽だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしこのドーランはラジオ・テレビでないとすると「それは実稼働であるということはなくてまた寄せるということはない」ということは偽である
事実2: このドーランはラジオ・テレビであるということはない
事実3: もしなんらかの物はレッスンしないとしたら「ラジオ・テレビでなくてまた慈悲深くない」ということは誤っている
事実4: 仮に何かは拡大表示しないとするとアンプルティだしおまけに商いする
事実5: あの取材依頼がラジオ・テレビでなくてそれが的屋だということはないならばこのドーランは執念深くない
事実6: 「もし「ある物は実稼働でなくて寄せるということはない」ということは嘘であるとするとそれは執念深い」ということは確かである
事実7: 「このドーランは実稼働だけれど寄せない」ということは誤っている
事実8: 全ては日参しないししかも拡大表示しない

仮説: このドーランは執念深い
1. 事実6から、推論1: "もし「このドーランは実稼働でないし寄せない」ということは成り立たないならばそれは執念深い"が導かれる
2. 事実2と事実1から、推論2: "「このドーランは実稼働でなくてまた寄せるということはない」ということは偽だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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