あの給費は栽培試験でない
fact1: 黒っぽくない物は第八スタジオであるし更に出生簿だ fact2: もし仮に薄緑色は名義変更であるとするとパッケージでない fact3: 二重螺旋は薄緑色である fact4: あの給費が貧しくないとするとそれは栽培試験でない fact5: あの給費は伸ばし易くない fact6: もし仮に「何らかのものは黒っぽい一方で挽回しない」ということは成り立たないとするとそれは黒っぽくない fact7: 仮になんらかのものは斜め前でないとするとそれは成り立たない fact8: もし仮に「あの午は執念深い」ということは確かであるならば薄緑色である fact9: もしも「なにかは貧しいが近代資本主義でない」ということは成り立たないとしたら栽培試験でない fact10: あの午は第八スタジオでない fact11: あの午は二重螺旋であるかあるいは執念深い fact12: あの午は名義変更である fact13: 第八スタジオは栽培試験だ fact14: あの午は近代資本主義だということはない fact15: 「あの給費は誇りっぽくない」ということは偽だということはない fact16: もしもあの午は第八スタジオでないとしたら「あの給費は貧しいけれど近代資本主義でない」ということは成り立たない fact17: このビジネスシーンは貧しくない
fact9 -> int1: 仮に「あの給費は貧しいがしかし近代資本主義でない」ということは成り立たないとすれば栽培試験でない; fact10 & fact16 -> int2: 「「あの給費は貧しいが近代資本主義でない」ということは成り立つということはない」ということは確かである; int1 & int2 -> hypothesis;
fact9 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact10 & fact16 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの給費は栽培試験だ
fact23 -> int3: もし仮にあの給費は第八スタジオであるとしたら栽培試験だ; fact24 -> int4: もし仮にあの給費が黒っぽくないならばそれは第八スタジオであるし加えてそれは出生簿である; fact22 -> int5: もし仮に「「あの給費は黒っぽいが挽回しない」ということは間違っている」ということは確かならば「それは黒っぽくない」ということは成り立つ; fact25 -> int6: もしあの午は薄緑色だしおまけに名義変更であるとすればパッケージであるということはない; fact20 -> int7: あの午が二重螺旋ならそれは薄緑色である; fact19 & int7 & fact18 -> int8: あの午は薄緑色だ; int8 & fact21 -> int9: あの午は薄緑色で名義変更だ; int6 & int9 -> int10: あの午はパッケージでない; int10 -> int11: 「パッケージでない」ものはある;
$facts$ = fact1: 黒っぽくない物は第八スタジオであるし更に出生簿だ fact2: もし仮に薄緑色は名義変更であるとするとパッケージでない fact3: 二重螺旋は薄緑色である fact4: あの給費が貧しくないとするとそれは栽培試験でない fact5: あの給費は伸ばし易くない fact6: もし仮に「何らかのものは黒っぽい一方で挽回しない」ということは成り立たないとするとそれは黒っぽくない fact7: 仮になんらかのものは斜め前でないとするとそれは成り立たない fact8: もし仮に「あの午は執念深い」ということは確かであるならば薄緑色である fact9: もしも「なにかは貧しいが近代資本主義でない」ということは成り立たないとしたら栽培試験でない fact10: あの午は第八スタジオでない fact11: あの午は二重螺旋であるかあるいは執念深い fact12: あの午は名義変更である fact13: 第八スタジオは栽培試験だ fact14: あの午は近代資本主義だということはない fact15: 「あの給費は誇りっぽくない」ということは偽だということはない fact16: もしもあの午は第八スタジオでないとしたら「あの給費は貧しいけれど近代資本主義でない」ということは成り立たない fact17: このビジネスシーンは貧しくない ; $hypothesis$ = あの給費は栽培試験でない ; $proof$ = 
fact9 -> int1: 仮に「あの給費は貧しいがしかし近代資本主義でない」ということは成り立たないとすれば栽培試験でない; fact10 & fact16 -> int2: 「「あの給費は貧しいが近代資本主義でない」ということは成り立つということはない」ということは確かである; int1 & int2 -> hypothesis; __PROVED__
事実1: 黒っぽくない物は第八スタジオであるし更に出生簿だ
事実2: もし仮に薄緑色は名義変更であるとするとパッケージでない
事実3: 二重螺旋は薄緑色である
事実4: あの給費が貧しくないとするとそれは栽培試験でない
事実5: あの給費は伸ばし易くない
事実6: もし仮に「何らかのものは黒っぽい一方で挽回しない」ということは成り立たないとするとそれは黒っぽくない
事実7: 仮になんらかのものは斜め前でないとするとそれは成り立たない
事実8: もし仮に「あの午は執念深い」ということは確かであるならば薄緑色である
事実9: もしも「なにかは貧しいが近代資本主義でない」ということは成り立たないとしたら栽培試験でない
事実10: あの午は第八スタジオでない
事実11: あの午は二重螺旋であるかあるいは執念深い
事実12: あの午は名義変更である
事実13: 第八スタジオは栽培試験だ
事実14: あの午は近代資本主義だということはない
事実15: 「あの給費は誇りっぽくない」ということは偽だということはない
事実16: もしもあの午は第八スタジオでないとしたら「あの給費は貧しいけれど近代資本主義でない」ということは成り立たない
事実17: このビジネスシーンは貧しくない

仮説: あの給費は栽培試験でない
1. 事実9から、推論1: "仮に「あの給費は貧しいがしかし近代資本主義でない」ということは成り立たないとすれば栽培試験でない"が導かれる
2. 事実10と事実16から、推論2: "「「あの給費は貧しいが近代資本主義でない」ということは成り立つということはない」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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