この入れ物は経理面でない
fact1: 「とある物は捕食するとすれば「それは練炭自殺でないししかも見られ易くない」ということは真実でない」ということは成り立つ fact2: なにかは練炭自殺でないとすればそれは見られ易くないしおまけに経理面だ fact3: その量子コアは肯定でないししかも絞らない fact4: 仮にあの証券アナリストが見られ易くないがしかし経理面だとすればその量子コアは天使らしくない fact5: 「このシレナ号は左右され易くない」ということは事実であるならばあの証券アナリストは捕食しないけど幼い fact6: あの証券アナリストが天使らしくないとするとこのシレナ号は天使らしくないかもしくは目新しい fact7: もしこのシレナ号が天使らしくないとしたらこのＥＩＮは見られ易い fact8: このシレナ号が天使らしくないかまたはそれが目新しいかあるいは両方ともであるとするとこのＥＩＮは見られ易い fact9: もし仮にその量子コアが天使らしくないならあの宣伝行為は肯定であるし更に目新しい fact10: もしもとある物は捕食しないがしかし幼いとすると練炭自殺でない fact11: もしもその量子コアが肯定だということはないしさらに絞らないとしたらあの証券アナリストは天使らしくない fact12: その量子コアは絞るか目新しい fact13: 仮になんらかの物は公開討論であるということはないとすると左右され易くないしかつ社会的人格でない fact14: もし仮にこのＥＩＮは幼いなら「このシレナ号は捕食する」ということは正しい fact15: 仮に「このシレナ号は練炭自殺でなくてそれは見られ易くない」ということは偽だとしたら「「あの証券アナリストは目新しい」ということは確かだ」ということは成り立たない fact16: もしもこのＥＩＮが見られ易いとすればこの入れ物は経理面である fact17: 「このＥＩＮは幼くて加えて左右され易い」ということは確かである
fact11 & fact3 -> int1: あの証券アナリストは天使らしくない; int1 & fact6 -> int2: このシレナ号は天使らしくないか目新しいかどちらもだ; int2 & fact8 -> int3: 「このＥＩＮは見られ易い」ということは誤りでない; int3 & fact16 -> hypothesis;
あの宣伝行為は肯定である
fact21 -> int4: 仮にあの証券アナリストは練炭自殺でないならば見られ易いということはないが経理面だ; fact18 -> int5: もしもあの証券アナリストが捕食しないけれどそれが幼いとすればそれは練炭自殺だということはない; fact19 -> int6: もし仮にこのＥＩＮは公開討論でないとすると左右され易くないしおまけに社会的人格でない;
$facts$ = fact1: 「とある物は捕食するとすれば「それは練炭自殺でないししかも見られ易くない」ということは真実でない」ということは成り立つ fact2: なにかは練炭自殺でないとすればそれは見られ易くないしおまけに経理面だ fact3: その量子コアは肯定でないししかも絞らない fact4: 仮にあの証券アナリストが見られ易くないがしかし経理面だとすればその量子コアは天使らしくない fact5: 「このシレナ号は左右され易くない」ということは事実であるならばあの証券アナリストは捕食しないけど幼い fact6: あの証券アナリストが天使らしくないとするとこのシレナ号は天使らしくないかもしくは目新しい fact7: もしこのシレナ号が天使らしくないとしたらこのＥＩＮは見られ易い fact8: このシレナ号が天使らしくないかまたはそれが目新しいかあるいは両方ともであるとするとこのＥＩＮは見られ易い fact9: もし仮にその量子コアが天使らしくないならあの宣伝行為は肯定であるし更に目新しい fact10: もしもとある物は捕食しないがしかし幼いとすると練炭自殺でない fact11: もしもその量子コアが肯定だということはないしさらに絞らないとしたらあの証券アナリストは天使らしくない fact12: その量子コアは絞るか目新しい fact13: 仮になんらかの物は公開討論であるということはないとすると左右され易くないしかつ社会的人格でない fact14: もし仮にこのＥＩＮは幼いなら「このシレナ号は捕食する」ということは正しい fact15: 仮に「このシレナ号は練炭自殺でなくてそれは見られ易くない」ということは偽だとしたら「「あの証券アナリストは目新しい」ということは確かだ」ということは成り立たない fact16: もしもこのＥＩＮが見られ易いとすればこの入れ物は経理面である fact17: 「このＥＩＮは幼くて加えて左右され易い」ということは確かである ; $hypothesis$ = この入れ物は経理面でない ; $proof$ = 
fact11 & fact3 -> int1: あの証券アナリストは天使らしくない; int1 & fact6 -> int2: このシレナ号は天使らしくないか目新しいかどちらもだ; int2 & fact8 -> int3: 「このＥＩＮは見られ易い」ということは誤りでない; int3 & fact16 -> hypothesis; __DISPROVED__
事実1: 「とある物は捕食するとすれば「それは練炭自殺でないししかも見られ易くない」ということは真実でない」ということは成り立つ
事実2: なにかは練炭自殺でないとすればそれは見られ易くないしおまけに経理面だ
事実3: その量子コアは肯定でないししかも絞らない
事実4: 仮にあの証券アナリストが見られ易くないがしかし経理面だとすればその量子コアは天使らしくない
事実5: 「このシレナ号は左右され易くない」ということは事実であるならばあの証券アナリストは捕食しないけど幼い
事実6: あの証券アナリストが天使らしくないとするとこのシレナ号は天使らしくないかもしくは目新しい
事実7: もしこのシレナ号が天使らしくないとしたらこのＥＩＮは見られ易い
事実8: このシレナ号が天使らしくないかまたはそれが目新しいかあるいは両方ともであるとするとこのＥＩＮは見られ易い
事実9: もし仮にその量子コアが天使らしくないならあの宣伝行為は肯定であるし更に目新しい
事実10: もしもとある物は捕食しないがしかし幼いとすると練炭自殺でない
事実11: もしもその量子コアが肯定だということはないしさらに絞らないとしたらあの証券アナリストは天使らしくない
事実12: その量子コアは絞るか目新しい
事実13: 仮になんらかの物は公開討論であるということはないとすると左右され易くないしかつ社会的人格でない
事実14: もし仮にこのＥＩＮは幼いなら「このシレナ号は捕食する」ということは正しい
事実15: 仮に「このシレナ号は練炭自殺でなくてそれは見られ易くない」ということは偽だとしたら「「あの証券アナリストは目新しい」ということは確かだ」ということは成り立たない
事実16: もしもこのＥＩＮが見られ易いとすればこの入れ物は経理面である
事実17: 「このＥＩＮは幼くて加えて左右され易い」ということは確かである

仮説: この入れ物は経理面でない
1. 事実11と事実3から、推論1: "あの証券アナリストは天使らしくない"が導かれる
2. 推論1と事実6から、推論2: "このシレナ号は天使らしくないか目新しいかどちらもだ"が導かれる
3. 推論2と事実8から、推論3: "「このＥＩＮは見られ易い」ということは誤りでない"が導かれる
4. 推論3と事実16から、仮説が否定される

よって、仮説が否定されました。