この次世代オフィスは人間臭いということはない
fact1: この父母達は加工し易い fact2: この父母達が加工し易いとすればこのハシーシュは手厚いということはないがしかし打ち振る fact3: 仮に「このハシーシュは人間臭くない」ということは成り立つということはないとすればこの次世代オフィスは手厚い fact4: このハシーシュはリスク対応でない fact5: この次世代オフィスは加工し易い fact6: 「このハシーシュは打ち振る」ということは事実だ fact7: このハシーシュが手厚くないとしたらこの次世代オフィスは人間臭くない fact8: もし仮にこのハシーシュが手厚いとすればこの次世代オフィスは打ち振らないけど人間臭い fact9: その老犬期は打ち振るということはないが難い fact10: この父母達は手厚い fact11: もしもこの父母達が加工し易いとすればこのハシーシュは打ち振る fact12: この父母達は人間臭い fact13: このハシーシュは人間臭い fact14: この次世代オフィスは送金しないけれど手厚い fact15: もしこのハシーシュが加工し易いならばこの父母達は手厚い
fact2 & fact1 -> int1: このハシーシュは手厚いということはないけど打ち振る; int1 -> int2: このハシーシュは手厚くない; int2 & fact7 -> hypothesis;
$facts$ = fact1: この父母達は加工し易い fact2: この父母達が加工し易いとすればこのハシーシュは手厚いということはないがしかし打ち振る fact3: 仮に「このハシーシュは人間臭くない」ということは成り立つということはないとすればこの次世代オフィスは手厚い fact4: このハシーシュはリスク対応でない fact5: この次世代オフィスは加工し易い fact6: 「このハシーシュは打ち振る」ということは事実だ fact7: このハシーシュが手厚くないとしたらこの次世代オフィスは人間臭くない fact8: もし仮にこのハシーシュが手厚いとすればこの次世代オフィスは打ち振らないけど人間臭い fact9: その老犬期は打ち振るということはないが難い fact10: この父母達は手厚い fact11: もしもこの父母達が加工し易いとすればこのハシーシュは打ち振る fact12: この父母達は人間臭い fact13: このハシーシュは人間臭い fact14: この次世代オフィスは送金しないけれど手厚い fact15: もしこのハシーシュが加工し易いならばこの父母達は手厚い ; $hypothesis$ = この次世代オフィスは人間臭いということはない ; $proof$ = 
fact2 & fact1 -> int1: このハシーシュは手厚いということはないけど打ち振る; int1 -> int2: このハシーシュは手厚くない; int2 & fact7 -> hypothesis; __PROVED__
事実1: この父母達は加工し易い
事実2: この父母達が加工し易いとすればこのハシーシュは手厚いということはないがしかし打ち振る
事実3: 仮に「このハシーシュは人間臭くない」ということは成り立つということはないとすればこの次世代オフィスは手厚い
事実4: このハシーシュはリスク対応でない
事実5: この次世代オフィスは加工し易い
事実6: 「このハシーシュは打ち振る」ということは事実だ
事実7: このハシーシュが手厚くないとしたらこの次世代オフィスは人間臭くない
事実8: もし仮にこのハシーシュが手厚いとすればこの次世代オフィスは打ち振らないけど人間臭い
事実9: その老犬期は打ち振るということはないが難い
事実10: この父母達は手厚い
事実11: もしもこの父母達が加工し易いとすればこのハシーシュは打ち振る
事実12: この父母達は人間臭い
事実13: このハシーシュは人間臭い
事実14: この次世代オフィスは送金しないけれど手厚い
事実15: もしこのハシーシュが加工し易いならばこの父母達は手厚い

仮説: この次世代オフィスは人間臭いということはない
1. 事実2と事実1から、推論1: "このハシーシュは手厚いということはないけど打ち振る"が導かれる
2. 推論1から、推論2: "このハシーシュは手厚くない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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