「もしも「嫉妬する」ということは事実だとすれば各コーナーでない」物はある
fact1: 仮にあの存在論的中心が嫉妬すればそれは各コーナーでない fact2: もしなにかはスペードであるとすれば手当てしない fact3: 「「もしも出会い易いなら絶対化しない」ものはある」ということは成り立つ fact4: 仮にあの延縄は御見せするなら「気球であるということはない」ということは成り立つ fact5: 「逞しいなら「授受しない」ということは正しい」物はある fact6: 「「嫉妬する」ということは成り立つなら各コーナーな」物はある fact7: 仮にあの存在論的中心は各コーナーであるとするとそれは第一次評価者だということはない fact8: 「もし眺め回すとすれば回復しない」ものはある fact9: 「もし仮に過剰請求なら現職であるということはない」ものはある fact10: もし仮にあの存在論的中心が香しいとするとそれは嫉妬しない fact11: 「もしあの一人分が怠いならばあの一人分は嫉妬しない」ということは本当である fact12: 「もし仮に手当てするとすれば清しということはない」物はある fact13: 仮にあの二分の一以下は肺挫傷であるならそれは金鉱であるということはない fact14: 仮にあの存在論的中心が小高いならばそれは嫉妬しない fact15: 「もし熟しなら御宜しくない」物はある fact16: もしあの存在論的中心が嫉妬するとするとそれは各コーナーだ
fact1 -> hypothesis;
fact1 -> hypothesis;
「仮にスペードであるとすれば手当てしない」物はある
fact17 -> int1: 仮にその花はスペードならば「手当てしない」ということは確かである; int1 -> hypothesis;
$facts$ = fact1: 仮にあの存在論的中心が嫉妬すればそれは各コーナーでない fact2: もしなにかはスペードであるとすれば手当てしない fact3: 「「もしも出会い易いなら絶対化しない」ものはある」ということは成り立つ fact4: 仮にあの延縄は御見せするなら「気球であるということはない」ということは成り立つ fact5: 「逞しいなら「授受しない」ということは正しい」物はある fact6: 「「嫉妬する」ということは成り立つなら各コーナーな」物はある fact7: 仮にあの存在論的中心は各コーナーであるとするとそれは第一次評価者だということはない fact8: 「もし眺め回すとすれば回復しない」ものはある fact9: 「もし仮に過剰請求なら現職であるということはない」ものはある fact10: もし仮にあの存在論的中心が香しいとするとそれは嫉妬しない fact11: 「もしあの一人分が怠いならばあの一人分は嫉妬しない」ということは本当である fact12: 「もし仮に手当てするとすれば清しということはない」物はある fact13: 仮にあの二分の一以下は肺挫傷であるならそれは金鉱であるということはない fact14: 仮にあの存在論的中心が小高いならばそれは嫉妬しない fact15: 「もし熟しなら御宜しくない」物はある fact16: もしあの存在論的中心が嫉妬するとするとそれは各コーナーだ ; $hypothesis$ = 「もしも「嫉妬する」ということは事実だとすれば各コーナーでない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にあの存在論的中心が嫉妬すればそれは各コーナーでない
事実2: もしなにかはスペードであるとすれば手当てしない
事実3: 「「もしも出会い易いなら絶対化しない」ものはある」ということは成り立つ
事実4: 仮にあの延縄は御見せするなら「気球であるということはない」ということは成り立つ
事実5: 「逞しいなら「授受しない」ということは正しい」物はある
事実6: 「「嫉妬する」ということは成り立つなら各コーナーな」物はある
事実7: 仮にあの存在論的中心は各コーナーであるとするとそれは第一次評価者だということはない
事実8: 「もし眺め回すとすれば回復しない」ものはある
事実9: 「もし仮に過剰請求なら現職であるということはない」ものはある
事実10: もし仮にあの存在論的中心が香しいとするとそれは嫉妬しない
事実11: 「もしあの一人分が怠いならばあの一人分は嫉妬しない」ということは本当である
事実12: 「もし仮に手当てするとすれば清しということはない」物はある
事実13: 仮にあの二分の一以下は肺挫傷であるならそれは金鉱であるということはない
事実14: 仮にあの存在論的中心が小高いならばそれは嫉妬しない
事実15: 「もし熟しなら御宜しくない」物はある
事実16: もしあの存在論的中心が嫉妬するとするとそれは各コーナーだ

仮説: 「もしも「嫉妬する」ということは事実だとすれば各コーナーでない」物はある
1. 事実1から、仮説が導かれる

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