あのＡ級はふらつくし保護する
fact1: なにかは保護しないかおもろくないかあるいは両方ならあの九十七年以降は保護しない fact2: もしもあの封建地代はふらつかないしさらに保護しないとすると「あの九十七年以降は用い易いということはない」ということは正しい fact3: 「そのワークイングは発する」ということは本当だ fact4: もしそのワークイングが腹立たしくらないとすればあのＡ級は発するしおまけにそれは保護する fact5: もしもそのワークイングが腹立たしくらないとしたらあのＡ級は発する fact6: あの九十七年以降は干涸びるないしあざとくない fact7: あの封建地代がおもろいならその老樹は一笑である fact8: 仮にあの九十七年以降が干涸びるないしあざとくないとしたらあの封建地代はおもろい fact9: 仮にあの九十七年以降が干涸びるないけれどあざといならばあの封建地代はおもろい fact10: そのワークイングは腹立たしくらない fact11: もしその老樹が腹立たしいならばそのワークイングは用い易い fact12: もしもその老樹は発しないとしたら「一笑であるしまた用い易い」ということは本当でない fact13: もし仮にその老樹が用い易いならあのＡ級はふらつく fact14: あの九十七年以降はあざとくない fact15: あのＡ級は発する fact16: もしその老樹が一笑でないならあの封建地代は保護しないかまたはそれはおもろくない fact17: 一笑は用い易い
fact8 & fact6 -> int1: あの封建地代はおもろい; int1 & fact7 -> int2: その老樹は一笑だ; fact17 -> int3: もしその老樹が一笑だとすればそれは用い易い; int2 & int3 -> int4: その老樹は用い易い; int4 & fact13 -> int5: あのＡ級はふらつく; fact10 & fact4 -> int6: あのＡ級は発するし更に保護する; int6 -> int7: あのＡ級は保護する; int5 & int7 -> hypothesis;
あの九十七年以降は一笑である
$facts$ = fact1: なにかは保護しないかおもろくないかあるいは両方ならあの九十七年以降は保護しない fact2: もしもあの封建地代はふらつかないしさらに保護しないとすると「あの九十七年以降は用い易いということはない」ということは正しい fact3: 「そのワークイングは発する」ということは本当だ fact4: もしそのワークイングが腹立たしくらないとすればあのＡ級は発するしおまけにそれは保護する fact5: もしもそのワークイングが腹立たしくらないとしたらあのＡ級は発する fact6: あの九十七年以降は干涸びるないしあざとくない fact7: あの封建地代がおもろいならその老樹は一笑である fact8: 仮にあの九十七年以降が干涸びるないしあざとくないとしたらあの封建地代はおもろい fact9: 仮にあの九十七年以降が干涸びるないけれどあざといならばあの封建地代はおもろい fact10: そのワークイングは腹立たしくらない fact11: もしその老樹が腹立たしいならばそのワークイングは用い易い fact12: もしもその老樹は発しないとしたら「一笑であるしまた用い易い」ということは本当でない fact13: もし仮にその老樹が用い易いならあのＡ級はふらつく fact14: あの九十七年以降はあざとくない fact15: あのＡ級は発する fact16: もしその老樹が一笑でないならあの封建地代は保護しないかまたはそれはおもろくない fact17: 一笑は用い易い ; $hypothesis$ = あのＡ級はふらつくし保護する ; $proof$ = 
fact8 & fact6 -> int1: あの封建地代はおもろい; int1 & fact7 -> int2: その老樹は一笑だ; fact17 -> int3: もしその老樹が一笑だとすればそれは用い易い; int2 & int3 -> int4: その老樹は用い易い; int4 & fact13 -> int5: あのＡ級はふらつく; fact10 & fact4 -> int6: あのＡ級は発するし更に保護する; int6 -> int7: あのＡ級は保護する; int5 & int7 -> hypothesis; __PROVED__
事実1: なにかは保護しないかおもろくないかあるいは両方ならあの九十七年以降は保護しない
事実2: もしもあの封建地代はふらつかないしさらに保護しないとすると「あの九十七年以降は用い易いということはない」ということは正しい
事実3: 「そのワークイングは発する」ということは本当だ
事実4: もしそのワークイングが腹立たしくらないとすればあのＡ級は発するしおまけにそれは保護する
事実5: もしもそのワークイングが腹立たしくらないとしたらあのＡ級は発する
事実6: あの九十七年以降は干涸びるないしあざとくない
事実7: あの封建地代がおもろいならその老樹は一笑である
事実8: 仮にあの九十七年以降が干涸びるないしあざとくないとしたらあの封建地代はおもろい
事実9: 仮にあの九十七年以降が干涸びるないけれどあざといならばあの封建地代はおもろい
事実10: そのワークイングは腹立たしくらない
事実11: もしその老樹が腹立たしいならばそのワークイングは用い易い
事実12: もしもその老樹は発しないとしたら「一笑であるしまた用い易い」ということは本当でない
事実13: もし仮にその老樹が用い易いならあのＡ級はふらつく
事実14: あの九十七年以降はあざとくない
事実15: あのＡ級は発する
事実16: もしその老樹が一笑でないならあの封建地代は保護しないかまたはそれはおもろくない
事実17: 一笑は用い易い

仮説: あのＡ級はふらつくし保護する
1. 事実8と事実6から、推論1: "あの封建地代はおもろい"が導かれる
2. 推論1と事実7から、推論2: "その老樹は一笑だ"が導かれる
3. 事実17から、推論3: "もしその老樹が一笑だとすればそれは用い易い"が導かれる
4. 推論2と推論3から、推論4: "その老樹は用い易い"が導かれる
5. 推論4と事実13から、推論5: "あのＡ級はふらつく"が導かれる
6. 事実10と事実4から、推論6: "あのＡ級は発するし更に保護する"が導かれる
7. 推論6から、推論7: "あのＡ級は保護する"が導かれる
8. 推論5と推論7から、仮説が導かれる

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