「「もし仮に流れ易くないならば「「古めかしいししかも見られ易くない」ということは成り立つ」ということは嘘な」ものはある」ということは正しくない
fact1: もしもこの死産児が見られ易くないなら近いけど適わない fact2: もしもなにかは流れ易くないとしたら「古めかしいししかも見られ易いということはない」ということは成り立たない fact3: 「もし仮に「先送りしない」ということは真実なら「コントラスト分解能だがしかし頭痛薬でない」ということは誤りな」ものはある fact4: 流れ易いということはないものは古めかしいが見られ易くない fact5: もしも「この死産児は流れ易いということはない」ということは成り立つとすればそれは古めかしいがしかし見られ易くない fact6: 「もし仮に「行動するということはない」ということは本当ならば「打ち粉であるしそれに沼沢地でない」ということは誤っている」ものはある fact7: 仮になんらかの物は流れ易いならば「それは古めかしい一方で見られ易くない」ということは間違いだ fact8: なんらかのものは流れ易くないとすると「それは古めかしいしまた見られ易い」ということは偽だ fact9: 仮にとある物は沼沢地であるということはないならば「それは立ち働くしおまけに手っ取り早い」ということは本当でない fact10: この死産児はＨＣＶでないなら「税引き後だしさらに群生する」ということは成り立たない fact11: 「もし仮に流れ易くないとすれば古めかしいし見られ易くない」物はある fact12: 「もし流れ易いとしたら「古めかしいけれど見られ易くない」ということは成り立たない」物はある
fact2 -> int1: この死産児は流れ易いということはないとすると「古めかしいし見られ易くない」ということは事実と異なる; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもこの死産児が見られ易くないなら近いけど適わない fact2: もしもなにかは流れ易くないとしたら「古めかしいししかも見られ易いということはない」ということは成り立たない fact3: 「もし仮に「先送りしない」ということは真実なら「コントラスト分解能だがしかし頭痛薬でない」ということは誤りな」ものはある fact4: 流れ易いということはないものは古めかしいが見られ易くない fact5: もしも「この死産児は流れ易いということはない」ということは成り立つとすればそれは古めかしいがしかし見られ易くない fact6: 「もし仮に「行動するということはない」ということは本当ならば「打ち粉であるしそれに沼沢地でない」ということは誤っている」ものはある fact7: 仮になんらかの物は流れ易いならば「それは古めかしい一方で見られ易くない」ということは間違いだ fact8: なんらかのものは流れ易くないとすると「それは古めかしいしまた見られ易い」ということは偽だ fact9: 仮にとある物は沼沢地であるということはないならば「それは立ち働くしおまけに手っ取り早い」ということは本当でない fact10: この死産児はＨＣＶでないなら「税引き後だしさらに群生する」ということは成り立たない fact11: 「もし仮に流れ易くないとすれば古めかしいし見られ易くない」物はある fact12: 「もし流れ易いとしたら「古めかしいけれど見られ易くない」ということは成り立たない」物はある ; $hypothesis$ = 「「もし仮に流れ易くないならば「「古めかしいししかも見られ易くない」ということは成り立つ」ということは嘘な」ものはある」ということは正しくない ; $proof$ = 
fact2 -> int1: この死産児は流れ易いということはないとすると「古めかしいし見られ易くない」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: もしもこの死産児が見られ易くないなら近いけど適わない
事実2: もしもなにかは流れ易くないとしたら「古めかしいししかも見られ易いということはない」ということは成り立たない
事実3: 「もし仮に「先送りしない」ということは真実なら「コントラスト分解能だがしかし頭痛薬でない」ということは誤りな」ものはある
事実4: 流れ易いということはないものは古めかしいが見られ易くない
事実5: もしも「この死産児は流れ易いということはない」ということは成り立つとすればそれは古めかしいがしかし見られ易くない
事実6: 「もし仮に「行動するということはない」ということは本当ならば「打ち粉であるしそれに沼沢地でない」ということは誤っている」ものはある
事実7: 仮になんらかの物は流れ易いならば「それは古めかしい一方で見られ易くない」ということは間違いだ
事実8: なんらかのものは流れ易くないとすると「それは古めかしいしまた見られ易い」ということは偽だ
事実9: 仮にとある物は沼沢地であるということはないならば「それは立ち働くしおまけに手っ取り早い」ということは本当でない
事実10: この死産児はＨＣＶでないなら「税引き後だしさらに群生する」ということは成り立たない
事実11: 「もし仮に流れ易くないとすれば古めかしいし見られ易くない」物はある
事実12: 「もし流れ易いとしたら「古めかしいけれど見られ易くない」ということは成り立たない」物はある

仮説: 「「もし仮に流れ易くないならば「「古めかしいししかも見られ易くない」ということは成り立つ」ということは嘘な」ものはある」ということは正しくない
1. 事実2から、推論1: "この死産児は流れ易いということはないとすると「古めかしいし見られ易くない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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