「その距離Ｒは陸軍側である一方で採石しない」ということは偽である
fact1: 仮に「あのタバコ作は築地塀である」ということは成り立てば「その距離Ｒは陸軍側だし加えて採石する」ということは成り立たない fact2: あのタバコ作は築地塀ならば「その距離Ｒは陸軍側だ一方で採石しない」ということは成り立たない fact3: 「あのイエス像は命名するけれど陸軍側でない」ということは偽である fact4: 仮にあのタバコ作は採石するなら「「その距離Ｒは築地塀であるしその上陸軍側である」ということは成り立つということはない」ということは成り立つ fact5: 「シネマトグラフでないし加えて農業構造だということはない」物はある fact6: 仮にその距離Ｒは築地塀であるとすると「あのタバコ作は陸軍側である一方で採石しない」ということは誤っている fact7: 「その距離Ｒが陸軍側だしさらにそれは採石する」ということは成り立たない fact8: あのタバコ作は築地塀だ fact9: もしその距離Ｒは陸軍側なら「あのタバコ作は築地塀だが採石しない」ということは偽だ fact10: 仮になにかは加工メニューでないとすると「それは築地塀だがポトフでない」ということは成り立たない fact11: 「あのタバコ作は陸軍側であるがしかし築地塀でない」ということは間違いだ
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
「その距離Ｒは陸軍側であるけど採石しない」ということは正しい
fact12 -> int1: もし「あの不法投棄は加工メニューでない」ということは正しいなら「築地塀であるしまたそれはポトフでない」ということは成り立つということはない;
$facts$ = fact1: 仮に「あのタバコ作は築地塀である」ということは成り立てば「その距離Ｒは陸軍側だし加えて採石する」ということは成り立たない fact2: あのタバコ作は築地塀ならば「その距離Ｒは陸軍側だ一方で採石しない」ということは成り立たない fact3: 「あのイエス像は命名するけれど陸軍側でない」ということは偽である fact4: 仮にあのタバコ作は採石するなら「「その距離Ｒは築地塀であるしその上陸軍側である」ということは成り立つということはない」ということは成り立つ fact5: 「シネマトグラフでないし加えて農業構造だということはない」物はある fact6: 仮にその距離Ｒは築地塀であるとすると「あのタバコ作は陸軍側である一方で採石しない」ということは誤っている fact7: 「その距離Ｒが陸軍側だしさらにそれは採石する」ということは成り立たない fact8: あのタバコ作は築地塀だ fact9: もしその距離Ｒは陸軍側なら「あのタバコ作は築地塀だが採石しない」ということは偽だ fact10: 仮になにかは加工メニューでないとすると「それは築地塀だがポトフでない」ということは成り立たない fact11: 「あのタバコ作は陸軍側であるがしかし築地塀でない」ということは間違いだ ; $hypothesis$ = 「その距離Ｒは陸軍側である一方で採石しない」ということは偽である ; $proof$ = 
fact2 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「あのタバコ作は築地塀である」ということは成り立てば「その距離Ｒは陸軍側だし加えて採石する」ということは成り立たない
事実2: あのタバコ作は築地塀ならば「その距離Ｒは陸軍側だ一方で採石しない」ということは成り立たない
事実3: 「あのイエス像は命名するけれど陸軍側でない」ということは偽である
事実4: 仮にあのタバコ作は採石するなら「「その距離Ｒは築地塀であるしその上陸軍側である」ということは成り立つということはない」ということは成り立つ
事実5: 「シネマトグラフでないし加えて農業構造だということはない」物はある
事実6: 仮にその距離Ｒは築地塀であるとすると「あのタバコ作は陸軍側である一方で採石しない」ということは誤っている
事実7: 「その距離Ｒが陸軍側だしさらにそれは採石する」ということは成り立たない
事実8: あのタバコ作は築地塀だ
事実9: もしその距離Ｒは陸軍側なら「あのタバコ作は築地塀だが採石しない」ということは偽だ
事実10: 仮になにかは加工メニューでないとすると「それは築地塀だがポトフでない」ということは成り立たない
事実11: 「あのタバコ作は陸軍側であるがしかし築地塀でない」ということは間違いだ

仮説: 「その距離Ｒは陸軍側である一方で採石しない」ということは偽である
1. 事実2と事実8から、仮説が導かれる

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