あの空売りは生き難い
fact1: 仮になにかはプレースしないとすると生き難くて法概念でない fact2: 「何かは切り立たないけどみっとも可愛い」ということは成り立たないならそれは適用対象でない fact3: もし「この手筋は打ち合う」ということは真実であるとするとそれは正負である fact4: もしも何らかのものが適用対象でないならそれはプレースするし更に種蒔きする fact5: それは中田家一族であるしさらにそれは出入金記録であるというものはない fact6: 「「あの一人平日週合計平均は出入金記録だがそれは女らしくない」ということは成り立つ」ということは嘘である fact7: あの空売りは同一額でない fact8: 打破するしその上受験するというものはない fact9: それが中田家一族だししかもそれは出入金記録だということはないという物はない fact10: 仮にこの手筋は正負であるとすれば「切り立たないしそれにそれはみっとも可愛い」ということは間違いである fact11: 「ある物は中田家一族である一方で出入金記録でない」ということは成り立たないとすればそれは生き難いということはない fact12: この分子中が生き難いけれど法概念でないとしたらあの空売りは生き難い fact13: あの空売りは固いということはない fact14: 「あの空売りは清朝軍であるしまた生き難い」ということは事実と異なる
fact11 -> int1: もし「あの空売りは中田家一族である一方で出入金記録でない」ということは嘘であるなら生き難くない; fact9 -> int2: 「あの空売りは中田家一族だがしかし出入金記録でない」ということは成り立たない; int1 & int2 -> hypothesis;
あの空売りは生き難い
fact19 -> int3: この分子中がプレースしないならば生き難くてさらに法概念でない; fact18 -> int4: もし「この手筋は適用対象でない」ということは確かならそれはプレースするし種蒔きする; fact20 -> int5: 「この手筋は切り立たないけれどそれはみっとも可愛い」ということは偽ならばそれは適用対象だということはない;
$facts$ = fact1: 仮になにかはプレースしないとすると生き難くて法概念でない fact2: 「何かは切り立たないけどみっとも可愛い」ということは成り立たないならそれは適用対象でない fact3: もし「この手筋は打ち合う」ということは真実であるとするとそれは正負である fact4: もしも何らかのものが適用対象でないならそれはプレースするし更に種蒔きする fact5: それは中田家一族であるしさらにそれは出入金記録であるというものはない fact6: 「「あの一人平日週合計平均は出入金記録だがそれは女らしくない」ということは成り立つ」ということは嘘である fact7: あの空売りは同一額でない fact8: 打破するしその上受験するというものはない fact9: それが中田家一族だししかもそれは出入金記録だということはないという物はない fact10: 仮にこの手筋は正負であるとすれば「切り立たないしそれにそれはみっとも可愛い」ということは間違いである fact11: 「ある物は中田家一族である一方で出入金記録でない」ということは成り立たないとすればそれは生き難いということはない fact12: この分子中が生き難いけれど法概念でないとしたらあの空売りは生き難い fact13: あの空売りは固いということはない fact14: 「あの空売りは清朝軍であるしまた生き難い」ということは事実と異なる ; $hypothesis$ = あの空売りは生き難い ; $proof$ = 
fact11 -> int1: もし「あの空売りは中田家一族である一方で出入金記録でない」ということは嘘であるなら生き難くない; fact9 -> int2: 「あの空売りは中田家一族だがしかし出入金記録でない」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにかはプレースしないとすると生き難くて法概念でない
事実2: 「何かは切り立たないけどみっとも可愛い」ということは成り立たないならそれは適用対象でない
事実3: もし「この手筋は打ち合う」ということは真実であるとするとそれは正負である
事実4: もしも何らかのものが適用対象でないならそれはプレースするし更に種蒔きする
事実5: それは中田家一族であるしさらにそれは出入金記録であるというものはない
事実6: 「「あの一人平日週合計平均は出入金記録だがそれは女らしくない」ということは成り立つ」ということは嘘である
事実7: あの空売りは同一額でない
事実8: 打破するしその上受験するというものはない
事実9: それが中田家一族だししかもそれは出入金記録だということはないという物はない
事実10: 仮にこの手筋は正負であるとすれば「切り立たないしそれにそれはみっとも可愛い」ということは間違いである
事実11: 「ある物は中田家一族である一方で出入金記録でない」ということは成り立たないとすればそれは生き難いということはない
事実12: この分子中が生き難いけれど法概念でないとしたらあの空売りは生き難い
事実13: あの空売りは固いということはない
事実14: 「あの空売りは清朝軍であるしまた生き難い」ということは事実と異なる

仮説: あの空売りは生き難い
1. 事実11から、推論1: "もし「あの空売りは中田家一族である一方で出入金記録でない」ということは嘘であるなら生き難くない"が導かれる
2. 事実9から、推論2: "「あの空売りは中田家一族だがしかし出入金記録でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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