「もしも「ばらけるということはなくてＴＩＦＦ形式でない」ということは嘘だとすれば書き込まない」ものはある
fact1: もし「その過失行為が処罰すらないしさらに二時間前でない」ということは成り立たないならそれは犯し続けるということはない fact2: もし「この販売成績表はばらけるないしそれはＴＩＦＦ形式でない」ということは成り立つということはないならば書き込むということはない fact3: もし仮に「この販売成績表は新システムである一方で押さえ切れない」ということは間違いであるならそれはばらけるということはない fact4: 「もしも「二千万人でなくておまけに目敏くない」ということは成り立つということはないなら遣る瀬無い」物はある fact5: 「仮に「抗結核薬でなくてその上二千万人でない」ということは成り立たないならば窄まる」物はある fact6: 「仮に「病院改革でないし欠陥でない」ということは嘘だとしたら持ち株会社でない」ものはある fact7: もしも「この販売成績表は喀血しなくてそれに押さえ切れない」ということは間違っていればそれは内閣危機管理監であるということはない fact8: 「仮に仲違いでなくてまた手厳しくないとしたら味付けしない」物はある fact9: もし「何らかのものは裏切り行為でなくておまけにそれは入れ難くない」ということは成り立たないならば付き難くない fact10: 仮にこの販売成績表は惜しくないし書き込むということはないならば診断能でない fact11: 「付け入るなら攻撃し易いということはない」ものはある fact12: 「もしも「親族法でないし加えて裏切り行為でない」ということは偽ならこよなくない」物はある
fact2 -> hypothesis;
「もし仮に「裏切り行為でないしその上入れ難いということはない」ということは嘘であるなら付き難くない」物はある
fact13 -> int1: 仮に「あの教材名は裏切り行為でなくて入れ難くない」ということは事実と異なるなら付き難くない; int1 -> hypothesis;
$facts$ = fact1: もし「その過失行為が処罰すらないしさらに二時間前でない」ということは成り立たないならそれは犯し続けるということはない fact2: もし「この販売成績表はばらけるないしそれはＴＩＦＦ形式でない」ということは成り立つということはないならば書き込むということはない fact3: もし仮に「この販売成績表は新システムである一方で押さえ切れない」ということは間違いであるならそれはばらけるということはない fact4: 「もしも「二千万人でなくておまけに目敏くない」ということは成り立つということはないなら遣る瀬無い」物はある fact5: 「仮に「抗結核薬でなくてその上二千万人でない」ということは成り立たないならば窄まる」物はある fact6: 「仮に「病院改革でないし欠陥でない」ということは嘘だとしたら持ち株会社でない」ものはある fact7: もしも「この販売成績表は喀血しなくてそれに押さえ切れない」ということは間違っていればそれは内閣危機管理監であるということはない fact8: 「仮に仲違いでなくてまた手厳しくないとしたら味付けしない」物はある fact9: もし「何らかのものは裏切り行為でなくておまけにそれは入れ難くない」ということは成り立たないならば付き難くない fact10: 仮にこの販売成績表は惜しくないし書き込むということはないならば診断能でない fact11: 「付け入るなら攻撃し易いということはない」ものはある fact12: 「もしも「親族法でないし加えて裏切り行為でない」ということは偽ならこよなくない」物はある ; $hypothesis$ = 「もしも「ばらけるということはなくてＴＩＦＦ形式でない」ということは嘘だとすれば書き込まない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「その過失行為が処罰すらないしさらに二時間前でない」ということは成り立たないならそれは犯し続けるということはない
事実2: もし「この販売成績表はばらけるないしそれはＴＩＦＦ形式でない」ということは成り立つということはないならば書き込むということはない
事実3: もし仮に「この販売成績表は新システムである一方で押さえ切れない」ということは間違いであるならそれはばらけるということはない
事実4: 「もしも「二千万人でなくておまけに目敏くない」ということは成り立つということはないなら遣る瀬無い」物はある
事実5: 「仮に「抗結核薬でなくてその上二千万人でない」ということは成り立たないならば窄まる」物はある
事実6: 「仮に「病院改革でないし欠陥でない」ということは嘘だとしたら持ち株会社でない」ものはある
事実7: もしも「この販売成績表は喀血しなくてそれに押さえ切れない」ということは間違っていればそれは内閣危機管理監であるということはない
事実8: 「仮に仲違いでなくてまた手厳しくないとしたら味付けしない」物はある
事実9: もし「何らかのものは裏切り行為でなくておまけにそれは入れ難くない」ということは成り立たないならば付き難くない
事実10: 仮にこの販売成績表は惜しくないし書き込むということはないならば診断能でない
事実11: 「付け入るなら攻撃し易いということはない」ものはある
事実12: 「もしも「親族法でないし加えて裏切り行為でない」ということは偽ならこよなくない」物はある

仮説: 「もしも「ばらけるということはなくてＴＩＦＦ形式でない」ということは嘘だとすれば書き込まない」ものはある
1. 事実2から、仮説が導かれる

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