この公共空間は極楽往生出来ない
fact1: もしも何らかの物が救わないとするとそれが遣わさないしさらにそれは訴訟代理人だ fact2: 「遣わす」物はある fact3: その祭司長達は極楽往生出来ない fact4: その乗算は恥ずかしいということはないしそれに生産費でない fact5: 「小煩い」ものはある fact6: 「あの評価項目は極楽往生出来ない」ということは成り立つ fact7: 「遣わす」物があればこの公共空間は極楽往生出来るということはない fact8: ある物は遣わさないが訴訟代理人だとするとそれは極楽往生出来る fact9: 「物色する」ものはある fact10: とある物はローズマリーである fact11: 「極楽往生出来る」ものはある
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
この公共空間は極楽往生出来る
fact12 -> int1: もし仮にこの公共空間は遣わさないけど訴訟代理人であるとしたら「それは極楽往生出来る」ということは誤っていない; fact13 -> int2: もし仮にこの公共空間が救わないとするとそれが遣わさないしさらにそれは訴訟代理人である; fact14 -> int3: その乗算は恥ずかしくない; int3 -> int4: とある物は恥ずかしくない;
$facts$ = fact1: もしも何らかの物が救わないとするとそれが遣わさないしさらにそれは訴訟代理人だ fact2: 「遣わす」物はある fact3: その祭司長達は極楽往生出来ない fact4: その乗算は恥ずかしいということはないしそれに生産費でない fact5: 「小煩い」ものはある fact6: 「あの評価項目は極楽往生出来ない」ということは成り立つ fact7: 「遣わす」物があればこの公共空間は極楽往生出来るということはない fact8: ある物は遣わさないが訴訟代理人だとするとそれは極楽往生出来る fact9: 「物色する」ものはある fact10: とある物はローズマリーである fact11: 「極楽往生出来る」ものはある ; $hypothesis$ = この公共空間は極楽往生出来ない ; $proof$ = 
fact2 & fact7 -> hypothesis; __PROVED__
事実1: もしも何らかの物が救わないとするとそれが遣わさないしさらにそれは訴訟代理人だ
事実2: 「遣わす」物はある
事実3: その祭司長達は極楽往生出来ない
事実4: その乗算は恥ずかしいということはないしそれに生産費でない
事実5: 「小煩い」ものはある
事実6: 「あの評価項目は極楽往生出来ない」ということは成り立つ
事実7: 「遣わす」物があればこの公共空間は極楽往生出来るということはない
事実8: ある物は遣わさないが訴訟代理人だとするとそれは極楽往生出来る
事実9: 「物色する」ものはある
事実10: とある物はローズマリーである
事実11: 「極楽往生出来る」ものはある

仮説: この公共空間は極楽往生出来ない
1. 事実2と事実7から、仮説が導かれる

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