この読後感はリードボーでないけど使用し難い
fact1: もしもこの知力ボーナスはデイデイトであるならそれは総社員だ fact2: 「小躍りする」ものはある fact3: 「この知力ボーナスはデイデイトである」ということは本当だ fact4: もし仮に「この読後感は想定しない」ということは成り立つとしたら総社員だしさらに総事業計画額である fact5: 総社員はデイデイトである fact6: もしその専門的支援が想定するとしたら総事業計画額でなくてそれは総社員でない fact7: もしその専門的支援が想定するがしかし総事業計画額でないとするとあの交代要員は使用し難くない fact8: この知力ボーナスが総社員だとしたらその専門的支援は想定するけど総事業計画額でない fact9: とある物はデイデイトであるなら「それはリードボーでないしさらに使用し難い」ということは事実と異なる fact10: もし仮にあの交代要員は使用し難くないならば「この読後感はリードボーでないけれどそれは使用し難い」ということは本当である
fact1 & fact3 -> int1: 「この知力ボーナスは総社員だ」ということは真実である; int1 & fact8 -> int2: その専門的支援は想定するけれど総事業計画額でない; int2 & fact7 -> int3: あの交代要員は使用し難くない; int3 & fact10 -> hypothesis;
「この読後感はリードボーでないが使用し難い」ということは本当でない
fact12 -> int4: もしもこの読後感はデイデイトならば「それはリードボーでないししかも使用し難い」ということは確かでない; fact13 -> int5: もしもこの読後感が総社員だとすればそれはデイデイトだ;
$facts$ = fact1: もしもこの知力ボーナスはデイデイトであるならそれは総社員だ fact2: 「小躍りする」ものはある fact3: 「この知力ボーナスはデイデイトである」ということは本当だ fact4: もし仮に「この読後感は想定しない」ということは成り立つとしたら総社員だしさらに総事業計画額である fact5: 総社員はデイデイトである fact6: もしその専門的支援が想定するとしたら総事業計画額でなくてそれは総社員でない fact7: もしその専門的支援が想定するがしかし総事業計画額でないとするとあの交代要員は使用し難くない fact8: この知力ボーナスが総社員だとしたらその専門的支援は想定するけど総事業計画額でない fact9: とある物はデイデイトであるなら「それはリードボーでないしさらに使用し難い」ということは事実と異なる fact10: もし仮にあの交代要員は使用し難くないならば「この読後感はリードボーでないけれどそれは使用し難い」ということは本当である ; $hypothesis$ = この読後感はリードボーでないけど使用し難い ; $proof$ = 
fact1 & fact3 -> int1: 「この知力ボーナスは総社員だ」ということは真実である; int1 & fact8 -> int2: その専門的支援は想定するけれど総事業計画額でない; int2 & fact7 -> int3: あの交代要員は使用し難くない; int3 & fact10 -> hypothesis; __PROVED__
事実1: もしもこの知力ボーナスはデイデイトであるならそれは総社員だ
事実2: 「小躍りする」ものはある
事実3: 「この知力ボーナスはデイデイトである」ということは本当だ
事実4: もし仮に「この読後感は想定しない」ということは成り立つとしたら総社員だしさらに総事業計画額である
事実5: 総社員はデイデイトである
事実6: もしその専門的支援が想定するとしたら総事業計画額でなくてそれは総社員でない
事実7: もしその専門的支援が想定するがしかし総事業計画額でないとするとあの交代要員は使用し難くない
事実8: この知力ボーナスが総社員だとしたらその専門的支援は想定するけど総事業計画額でない
事実9: とある物はデイデイトであるなら「それはリードボーでないしさらに使用し難い」ということは事実と異なる
事実10: もし仮にあの交代要員は使用し難くないならば「この読後感はリードボーでないけれどそれは使用し難い」ということは本当である

仮説: この読後感はリードボーでないけど使用し難い
1. 事実1と事実3から、推論1: "「この知力ボーナスは総社員だ」ということは真実である"が導かれる
2. 推論1と事実8から、推論2: "その専門的支援は想定するけれど総事業計画額でない"が導かれる
3. 推論2と事実7から、推論3: "あの交代要員は使用し難くない"が導かれる
4. 推論3と事実10から、仮説が導かれる

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