あの成体内は上木しない
fact1: もしあの金融再生委員会が本当らしくない一方でそれが御別れするとするとその日本重化学は御別れする fact2: もしもあの成体内が一パーセント前後でないならそれは獲得であるということはないしさらに御婦人方でない fact3: もし「その日本重化学は御別れする」ということは事実だとすれば「それは消化し難くないかもしくはＯＳグッドでないか両方ともだ」ということは間違っている fact4: もしあの金融再生委員会が白濁するならそれは呼び習わす fact5: なんらかのものは獲得だということはないしそれに御婦人方でないとすると「それは幼し」ということは成り立つ fact6: なにかは幼しならば「上木しない」ということは成り立つ fact7: もし「「消化し難くないかあるいはＯＳグッドでないかどちらもだ」ということは偽な」ものがあるならこの制限利率は一パーセント前後である fact8: あの成体内は一パーセント前後でない fact9: もし仮に「ある物は消化し難くないがしかし一パーセント前後だ」ということは成り立たないとしたら一パーセント前後だということはない fact10: もしなにがしかの物が呼び習わすなら本当らしくないしそれは御別れする fact11: あの金融再生委員会は白濁する fact12: もしも「この制限利率はＯＳグッドでない」ということは成り立つなら「消化し難くない一方で一パーセント前後である」ということは成り立たない
fact5 -> int1: もしもあの成体内が獲得でなくて更にそれは御婦人方でないなら幼し; fact2 & fact8 -> int2: あの成体内は獲得でないしさらに御婦人方でない; int1 & int2 -> int3: あの成体内は幼し; fact6 -> int4: もしあの成体内は幼しとしたら「それは上木しない」ということは成り立つ; int3 & int4 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact8 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact6 -> int4: {B}{aa} -> ¬{A}{aa}; int3 & int4 -> hypothesis;
あのスリペリー・エルムは上木しない
fact15 -> int5: もし仮に「あの金融再生委員会は呼び習わす」ということは真実であるならばそれは本当らしくないし更にそれは御別れする; fact14 & fact13 -> int6: あの金融再生委員会は呼び習わす; int5 & int6 -> int7: あの金融再生委員会は本当らしくないが御別れする; fact17 & int7 -> int8: その日本重化学は御別れする; fact18 & int8 -> int9: 「その日本重化学は消化し難くないかまたはＯＳグッドでないかどちらもである」ということは成り立たない; int9 -> int10: 「「消化し難くないかＯＳグッドでない」ということは成り立たない」ものはある; int10 & fact16 -> int11: この制限利率は一パーセント前後だ;
$facts$ = fact1: もしあの金融再生委員会が本当らしくない一方でそれが御別れするとするとその日本重化学は御別れする fact2: もしもあの成体内が一パーセント前後でないならそれは獲得であるということはないしさらに御婦人方でない fact3: もし「その日本重化学は御別れする」ということは事実だとすれば「それは消化し難くないかもしくはＯＳグッドでないか両方ともだ」ということは間違っている fact4: もしあの金融再生委員会が白濁するならそれは呼び習わす fact5: なんらかのものは獲得だということはないしそれに御婦人方でないとすると「それは幼し」ということは成り立つ fact6: なにかは幼しならば「上木しない」ということは成り立つ fact7: もし「「消化し難くないかあるいはＯＳグッドでないかどちらもだ」ということは偽な」ものがあるならこの制限利率は一パーセント前後である fact8: あの成体内は一パーセント前後でない fact9: もし仮に「ある物は消化し難くないがしかし一パーセント前後だ」ということは成り立たないとしたら一パーセント前後だということはない fact10: もしなにがしかの物が呼び習わすなら本当らしくないしそれは御別れする fact11: あの金融再生委員会は白濁する fact12: もしも「この制限利率はＯＳグッドでない」ということは成り立つなら「消化し難くない一方で一パーセント前後である」ということは成り立たない ; $hypothesis$ = あの成体内は上木しない ; $proof$ = 
fact5 -> int1: もしもあの成体内が獲得でなくて更にそれは御婦人方でないなら幼し; fact2 & fact8 -> int2: あの成体内は獲得でないしさらに御婦人方でない; int1 & int2 -> int3: あの成体内は幼し; fact6 -> int4: もしあの成体内は幼しとしたら「それは上木しない」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: もしあの金融再生委員会が本当らしくない一方でそれが御別れするとするとその日本重化学は御別れする
事実2: もしもあの成体内が一パーセント前後でないならそれは獲得であるということはないしさらに御婦人方でない
事実3: もし「その日本重化学は御別れする」ということは事実だとすれば「それは消化し難くないかもしくはＯＳグッドでないか両方ともだ」ということは間違っている
事実4: もしあの金融再生委員会が白濁するならそれは呼び習わす
事実5: なんらかのものは獲得だということはないしそれに御婦人方でないとすると「それは幼し」ということは成り立つ
事実6: なにかは幼しならば「上木しない」ということは成り立つ
事実7: もし「「消化し難くないかあるいはＯＳグッドでないかどちらもだ」ということは偽な」ものがあるならこの制限利率は一パーセント前後である
事実8: あの成体内は一パーセント前後でない
事実9: もし仮に「ある物は消化し難くないがしかし一パーセント前後だ」ということは成り立たないとしたら一パーセント前後だということはない
事実10: もしなにがしかの物が呼び習わすなら本当らしくないしそれは御別れする
事実11: あの金融再生委員会は白濁する
事実12: もしも「この制限利率はＯＳグッドでない」ということは成り立つなら「消化し難くない一方で一パーセント前後である」ということは成り立たない

仮説: あの成体内は上木しない
1. 事実5から、推論1: "もしもあの成体内が獲得でなくて更にそれは御婦人方でないなら幼し"が導かれる
2. 事実2と事実8から、推論2: "あの成体内は獲得でないしさらに御婦人方でない"が導かれる
3. 推論1と推論2から、推論3: "あの成体内は幼し"が導かれる
4. 事実6から、推論4: "もしあの成体内は幼しとしたら「それは上木しない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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