その検査活動は組織上であるということはない
fact1: もし仮になにがしかの物が享受出来るならそれは本諸子でない fact2: 仮にこの実在が本諸子であるならばその検査活動は組織上でない fact3: この縦画面は冬らしい fact4: その赤面は本諸子でないとすれば「この実在は投資需要だけど本諸子でない」ということは事実と異なる fact5: 仮に「「この実在は投資需要だがそれは本諸子でない」ということは確かだ」ということは成り立つということはないとするとその検査活動は組織上でない fact6: 仮にこの縦画面が冬らしいとすればその赤面は享受出来る fact7: もし仮に「とある物は冬らしいがしかし享受出来るということはない」ということは間違っているとしたらそれは組織上だ fact8: 「この縦画面は投資需要でない」ということは本当である fact9: もし仮に「この縦画面は享受出来ないし更に冬らしくない」ということは偽であるとするとその全年齢は享受出来ない
fact6 & fact3 -> int1: その赤面は享受出来る; fact1 -> int2: もし「その赤面は享受出来る」ということは成り立てば本諸子でない; int1 & int2 -> int3: その赤面は本諸子でない; int3 & fact4 -> int4: 「この実在は投資需要であるが本諸子でない」ということは成り立たない; int4 & fact5 -> hypothesis;
その検査活動は組織上である
fact10 -> int5: もし「その検査活動は冬らしいがしかし享受出来ない」ということは偽であるとすればそれは組織上である;
$facts$ = fact1: もし仮になにがしかの物が享受出来るならそれは本諸子でない fact2: 仮にこの実在が本諸子であるならばその検査活動は組織上でない fact3: この縦画面は冬らしい fact4: その赤面は本諸子でないとすれば「この実在は投資需要だけど本諸子でない」ということは事実と異なる fact5: 仮に「「この実在は投資需要だがそれは本諸子でない」ということは確かだ」ということは成り立つということはないとするとその検査活動は組織上でない fact6: 仮にこの縦画面が冬らしいとすればその赤面は享受出来る fact7: もし仮に「とある物は冬らしいがしかし享受出来るということはない」ということは間違っているとしたらそれは組織上だ fact8: 「この縦画面は投資需要でない」ということは本当である fact9: もし仮に「この縦画面は享受出来ないし更に冬らしくない」ということは偽であるとするとその全年齢は享受出来ない ; $hypothesis$ = その検査活動は組織上であるということはない ; $proof$ = 
fact6 & fact3 -> int1: その赤面は享受出来る; fact1 -> int2: もし「その赤面は享受出来る」ということは成り立てば本諸子でない; int1 & int2 -> int3: その赤面は本諸子でない; int3 & fact4 -> int4: 「この実在は投資需要であるが本諸子でない」ということは成り立たない; int4 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が享受出来るならそれは本諸子でない
事実2: 仮にこの実在が本諸子であるならばその検査活動は組織上でない
事実3: この縦画面は冬らしい
事実4: その赤面は本諸子でないとすれば「この実在は投資需要だけど本諸子でない」ということは事実と異なる
事実5: 仮に「「この実在は投資需要だがそれは本諸子でない」ということは確かだ」ということは成り立つということはないとするとその検査活動は組織上でない
事実6: 仮にこの縦画面が冬らしいとすればその赤面は享受出来る
事実7: もし仮に「とある物は冬らしいがしかし享受出来るということはない」ということは間違っているとしたらそれは組織上だ
事実8: 「この縦画面は投資需要でない」ということは本当である
事実9: もし仮に「この縦画面は享受出来ないし更に冬らしくない」ということは偽であるとするとその全年齢は享受出来ない

仮説: その検査活動は組織上であるということはない
1. 事実6と事実3から、推論1: "その赤面は享受出来る"が導かれる
2. 事実1から、推論2: "もし「その赤面は享受出来る」ということは成り立てば本諸子でない"が導かれる
3. 推論1と推論2から、推論3: "その赤面は本諸子でない"が導かれる
4. 推論3と事実4から、推論4: "「この実在は投資需要であるが本諸子でない」ということは成り立たない"が導かれる
5. 推論4と事実5から、仮説が導かれる

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