この視察ブロックは植樹するかまたは無声化し易くないかもしくは両方である
fact1: この視察ブロックは勝ち誇るがしかし植樹しない fact2: もし仮にあの千九百三十年代初頭は捧げ為さらないとすると「この視察ブロックは植樹するかもしくはそれは無声化し易いということはないかもしくは両方ともである」ということは成り立たない fact3: 仮にこの役員賞与金が無声化し易くないとすればこの視察ブロックは植樹するかもしくは無声化し易くないかどちらもだ fact4: もし「この役員賞与金は捧げ為さるか勝ち誇るかあるいは両方だ」ということは間違いであるならあの千九百三十年代初頭は捧げ為さるということはない fact5: そのユーザボリュームは捧げ為さる一方で勝ち誇るということはない fact6: もしその人間尊重は古しないならば「それは撤回出来るが御達しない」ということは誤っている fact7: もしもあの千九百三十年代初頭が使用し易いかもしくはフロアワークであるかもしくはどちらもだとすればあの役員賞与金は無声化し易くない fact8: 「何もかもは使用し易くない」ということは確かだ fact9: もし仮にあるものはフロアワークでないなら「「捧げ為さるか勝ち誇る」ということは確かである」ということは偽である fact10: 仮にその人間尊重は御話し出来るということはないならば「フロアワークでないしそれは使用し易くない」ということは成り立つということはない fact11: 「なんらかの物は撤回出来るけど御達しない」ということは間違っているとすれば御話し出来ない fact12: そのユーザボリュームは使用し易くない fact13: 仮に「なにがしかのものは捧げ為さるがしかし勝ち誇らない」ということは確かであるとしたらあの千九百三十年代初頭はフロアワークである fact14: 「その人間尊重はフロアワークでないし更にそれは使用し易くない」ということは間違いならばあの役員賞与金はフロアワークでない fact15: 「捧げ為さるし更に勝ち誇る」ものはある
fact5 -> int1: とある物は捧げ為さるがしかしそれは勝ち誇らない; int1 & fact13 -> int2: あの千九百三十年代初頭はフロアワークだ; int2 -> int3: あの千九百三十年代初頭は使用し易いかもしくはフロアワークであるかまたは両方である; int3 & fact7 -> int4: この役員賞与金は無声化し易くない; int4 & fact3 -> hypothesis;
この都市大衆は勝ち誇るかまたはホースだということはないかもしくは両方である
fact16 -> int5: この役員賞与金は使用し易くない;
$facts$ = fact1: この視察ブロックは勝ち誇るがしかし植樹しない fact2: もし仮にあの千九百三十年代初頭は捧げ為さらないとすると「この視察ブロックは植樹するかもしくはそれは無声化し易いということはないかもしくは両方ともである」ということは成り立たない fact3: 仮にこの役員賞与金が無声化し易くないとすればこの視察ブロックは植樹するかもしくは無声化し易くないかどちらもだ fact4: もし「この役員賞与金は捧げ為さるか勝ち誇るかあるいは両方だ」ということは間違いであるならあの千九百三十年代初頭は捧げ為さるということはない fact5: そのユーザボリュームは捧げ為さる一方で勝ち誇るということはない fact6: もしその人間尊重は古しないならば「それは撤回出来るが御達しない」ということは誤っている fact7: もしもあの千九百三十年代初頭が使用し易いかもしくはフロアワークであるかもしくはどちらもだとすればあの役員賞与金は無声化し易くない fact8: 「何もかもは使用し易くない」ということは確かだ fact9: もし仮にあるものはフロアワークでないなら「「捧げ為さるか勝ち誇る」ということは確かである」ということは偽である fact10: 仮にその人間尊重は御話し出来るということはないならば「フロアワークでないしそれは使用し易くない」ということは成り立つということはない fact11: 「なんらかの物は撤回出来るけど御達しない」ということは間違っているとすれば御話し出来ない fact12: そのユーザボリュームは使用し易くない fact13: 仮に「なにがしかのものは捧げ為さるがしかし勝ち誇らない」ということは確かであるとしたらあの千九百三十年代初頭はフロアワークである fact14: 「その人間尊重はフロアワークでないし更にそれは使用し易くない」ということは間違いならばあの役員賞与金はフロアワークでない fact15: 「捧げ為さるし更に勝ち誇る」ものはある ; $hypothesis$ = この視察ブロックは植樹するかまたは無声化し易くないかもしくは両方である ; $proof$ = 
fact5 -> int1: とある物は捧げ為さるがしかしそれは勝ち誇らない; int1 & fact13 -> int2: あの千九百三十年代初頭はフロアワークだ; int2 -> int3: あの千九百三十年代初頭は使用し易いかもしくはフロアワークであるかまたは両方である; int3 & fact7 -> int4: この役員賞与金は無声化し易くない; int4 & fact3 -> hypothesis; __PROVED__
事実1: この視察ブロックは勝ち誇るがしかし植樹しない
事実2: もし仮にあの千九百三十年代初頭は捧げ為さらないとすると「この視察ブロックは植樹するかもしくはそれは無声化し易いということはないかもしくは両方ともである」ということは成り立たない
事実3: 仮にこの役員賞与金が無声化し易くないとすればこの視察ブロックは植樹するかもしくは無声化し易くないかどちらもだ
事実4: もし「この役員賞与金は捧げ為さるか勝ち誇るかあるいは両方だ」ということは間違いであるならあの千九百三十年代初頭は捧げ為さるということはない
事実5: そのユーザボリュームは捧げ為さる一方で勝ち誇るということはない
事実6: もしその人間尊重は古しないならば「それは撤回出来るが御達しない」ということは誤っている
事実7: もしもあの千九百三十年代初頭が使用し易いかもしくはフロアワークであるかもしくはどちらもだとすればあの役員賞与金は無声化し易くない
事実8: 「何もかもは使用し易くない」ということは確かだ
事実9: もし仮にあるものはフロアワークでないなら「「捧げ為さるか勝ち誇る」ということは確かである」ということは偽である
事実10: 仮にその人間尊重は御話し出来るということはないならば「フロアワークでないしそれは使用し易くない」ということは成り立つということはない
事実11: 「なんらかの物は撤回出来るけど御達しない」ということは間違っているとすれば御話し出来ない
事実12: そのユーザボリュームは使用し易くない
事実13: 仮に「なにがしかのものは捧げ為さるがしかし勝ち誇らない」ということは確かであるとしたらあの千九百三十年代初頭はフロアワークである
事実14: 「その人間尊重はフロアワークでないし更にそれは使用し易くない」ということは間違いならばあの役員賞与金はフロアワークでない
事実15: 「捧げ為さるし更に勝ち誇る」ものはある

仮説: この視察ブロックは植樹するかまたは無声化し易くないかもしくは両方である
1. 事実5から、推論1: "とある物は捧げ為さるがしかしそれは勝ち誇らない"が導かれる
2. 推論1と事実13から、推論2: "あの千九百三十年代初頭はフロアワークだ"が導かれる
3. 推論2から、推論3: "あの千九百三十年代初頭は使用し易いかもしくはフロアワークであるかまたは両方である"が導かれる
4. 推論3と事実7から、推論4: "この役員賞与金は無声化し易くない"が導かれる
5. 推論4と事実3から、仮説が導かれる

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