あの油絵具は三百人以上でない
fact1: この狼狽は素晴らししそれに当面するとすると「その中枢骨片は当面するということはない」ということは真実である fact2: このチーム活動は彫り上げる fact3: この揉み上げは育て易い fact4: もしもあの油絵具が育て易くないとしたらそれは異臭騒ぎでないしそれにインド副王でない fact5: この狼狽は素晴らししそれに当面する fact6: もしも「その勝鬨は当面しない」ということは成り立つとすれば「この狼狽は育て易い」ということは成り立つ fact7: この狼狽は三百人以上であるしおまけに素晴らし fact8: もしも何らかのものがインド副王だししかも育て易いならば草臥れ切らない fact9: 仮にあの油絵具が素晴らしということはないならばこの狼狽は三百人以上である fact10: この葯は彫り上げる fact11: あの油絵具は育て易い fact12: あの油絵具は抑留所でまた棒針である fact13: なんらかのものが育て易いとしたらそれは力強い fact14: もしその勝鬨が草臥れ切らないならばあの油絵具は三百人以上でない fact15: その勝鬨は草臥れ切るか彫り上げるかあるいは両方だ fact16: もし「彫り上げるか異臭騒ぎな」ものがあるとすればその勝鬨はインド副王である fact17: 仮にその中枢骨片が草臥れ切るし当面するとしたらその勝鬨は当面しない fact18: もしもその勝鬨が素晴らしし更に育て易いとすればこの狼狽は育て易くない fact19: あの油絵具は当面しない fact20: 仮にその中枢骨片が当面しないならその勝鬨は育て易くてさらに騒がしい
fact2 -> int1: このチーム活動は彫り上げるかまたは異臭騒ぎだ; int1 -> int2: 「なにかは彫り上げるかあるいは異臭騒ぎである」ということは成り立つ; int2 & fact16 -> int3: その勝鬨はインド副王である; fact5 & fact1 -> int4: その中枢骨片は当面しない; fact20 & int4 -> int5: その勝鬨は育て易くてかつ騒がしい; int5 -> int6: その勝鬨は育て易い; int3 & int6 -> int7: その勝鬨はインド副王であるしそれに育て易い; fact8 -> int8: その勝鬨がインド副王だし更に育て易いならそれは草臥れ切らない; int7 & int8 -> int9: その勝鬨は草臥れ切らない; int9 & fact14 -> hypothesis;
その華夷は力強いし目掛ける
fact21 -> int10: その華夷が育て易いとしたら力強い;
$facts$ = fact1: この狼狽は素晴らししそれに当面するとすると「その中枢骨片は当面するということはない」ということは真実である fact2: このチーム活動は彫り上げる fact3: この揉み上げは育て易い fact4: もしもあの油絵具が育て易くないとしたらそれは異臭騒ぎでないしそれにインド副王でない fact5: この狼狽は素晴らししそれに当面する fact6: もしも「その勝鬨は当面しない」ということは成り立つとすれば「この狼狽は育て易い」ということは成り立つ fact7: この狼狽は三百人以上であるしおまけに素晴らし fact8: もしも何らかのものがインド副王だししかも育て易いならば草臥れ切らない fact9: 仮にあの油絵具が素晴らしということはないならばこの狼狽は三百人以上である fact10: この葯は彫り上げる fact11: あの油絵具は育て易い fact12: あの油絵具は抑留所でまた棒針である fact13: なんらかのものが育て易いとしたらそれは力強い fact14: もしその勝鬨が草臥れ切らないならばあの油絵具は三百人以上でない fact15: その勝鬨は草臥れ切るか彫り上げるかあるいは両方だ fact16: もし「彫り上げるか異臭騒ぎな」ものがあるとすればその勝鬨はインド副王である fact17: 仮にその中枢骨片が草臥れ切るし当面するとしたらその勝鬨は当面しない fact18: もしもその勝鬨が素晴らしし更に育て易いとすればこの狼狽は育て易くない fact19: あの油絵具は当面しない fact20: 仮にその中枢骨片が当面しないならその勝鬨は育て易くてさらに騒がしい ; $hypothesis$ = あの油絵具は三百人以上でない ; $proof$ = 
fact2 -> int1: このチーム活動は彫り上げるかまたは異臭騒ぎだ; int1 -> int2: 「なにかは彫り上げるかあるいは異臭騒ぎである」ということは成り立つ; int2 & fact16 -> int3: その勝鬨はインド副王である; fact5 & fact1 -> int4: その中枢骨片は当面しない; fact20 & int4 -> int5: その勝鬨は育て易くてかつ騒がしい; int5 -> int6: その勝鬨は育て易い; int3 & int6 -> int7: その勝鬨はインド副王であるしそれに育て易い; fact8 -> int8: その勝鬨がインド副王だし更に育て易いならそれは草臥れ切らない; int7 & int8 -> int9: その勝鬨は草臥れ切らない; int9 & fact14 -> hypothesis; __PROVED__
事実1: この狼狽は素晴らししそれに当面するとすると「その中枢骨片は当面するということはない」ということは真実である
事実2: このチーム活動は彫り上げる
事実3: この揉み上げは育て易い
事実4: もしもあの油絵具が育て易くないとしたらそれは異臭騒ぎでないしそれにインド副王でない
事実5: この狼狽は素晴らししそれに当面する
事実6: もしも「その勝鬨は当面しない」ということは成り立つとすれば「この狼狽は育て易い」ということは成り立つ
事実7: この狼狽は三百人以上であるしおまけに素晴らし
事実8: もしも何らかのものがインド副王だししかも育て易いならば草臥れ切らない
事実9: 仮にあの油絵具が素晴らしということはないならばこの狼狽は三百人以上である
事実10: この葯は彫り上げる
事実11: あの油絵具は育て易い
事実12: あの油絵具は抑留所でまた棒針である
事実13: なんらかのものが育て易いとしたらそれは力強い
事実14: もしその勝鬨が草臥れ切らないならばあの油絵具は三百人以上でない
事実15: その勝鬨は草臥れ切るか彫り上げるかあるいは両方だ
事実16: もし「彫り上げるか異臭騒ぎな」ものがあるとすればその勝鬨はインド副王である
事実17: 仮にその中枢骨片が草臥れ切るし当面するとしたらその勝鬨は当面しない
事実18: もしもその勝鬨が素晴らしし更に育て易いとすればこの狼狽は育て易くない
事実19: あの油絵具は当面しない
事実20: 仮にその中枢骨片が当面しないならその勝鬨は育て易くてさらに騒がしい

仮説: あの油絵具は三百人以上でない
1. 事実2から、推論1: "このチーム活動は彫り上げるかまたは異臭騒ぎだ"が導かれる
2. 推論1から、推論2: "「なにかは彫り上げるかあるいは異臭騒ぎである」ということは成り立つ"が導かれる
3. 推論2と事実16から、推論3: "その勝鬨はインド副王である"が導かれる
4. 事実5と事実1から、推論4: "その中枢骨片は当面しない"が導かれる
5. 事実20と推論4から、推論5: "その勝鬨は育て易くてかつ騒がしい"が導かれる
6. 推論5から、推論6: "その勝鬨は育て易い"が導かれる
7. 推論3と推論6から、推論7: "その勝鬨はインド副王であるしそれに育て易い"が導かれる
8. 事実8から、推論8: "その勝鬨がインド副王だし更に育て易いならそれは草臥れ切らない"が導かれる
9. 推論7と推論8から、推論9: "その勝鬨は草臥れ切らない"が導かれる
10. 推論9と事実14から、仮説が導かれる

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