「このオーロラは介護計画だ」ということは成り立つ
fact1: このオーロラは転び易い fact2: その意識改革は貢献出来ない fact3: 「「青色申告特別控除であるということはないかもしくは恵まれるということはないかあるいはどちらもである」ということは誤っている」物はあるとすると「このロック・バンドは沿えるない」ということは成り立つ fact4: もしも何らかの物は沿えるないとしたら「それは集め易いということはない一方で読み難い」ということは成り立たない fact5: その宵はマネー情報であるし頭さん宅である fact6: このオーロラが踏み続けないとするとあの受け付け開始は転び易いしそれにそれは介護計画だ fact7: その空洞は介護計画だし加えて大人っぽい fact8: 「このオーロラが転び易いしその上介護計画だ」ということは事実である fact9: このオーロラは当該前であるし咲き揃う fact10: もし仮にその意識改革は貢献出来ないとしたら「青色申告特別控除でないかもしくは恵まれないかもしくは両方ともである」ということは間違いである fact11: 転び易くないものは介護計画でない fact12: もしこの定期借地農が変換でないとしたらあの焦げは死亡記事であるかあるいは踏み続けないかもしくは両方である
fact8 -> hypothesis;
fact8 -> hypothesis;
このオーロラは介護計画であるということはない
fact15 -> int1: 仮にこのオーロラが転び易くないとすればそれは介護計画でない; fact13 -> int2: 仮にこのロック・バンドは沿えるないなら「それは集め易くないけど読み難い」ということは誤っている; fact16 & fact18 -> int3: 「その意識改革は青色申告特別控除でないかあるいは恵まれないかあるいは両方だ」ということは成り立たない; int3 -> int4: 「「青色申告特別控除でないかあるいは恵まれないかもしくはどちらもである」ということは偽な」物はある; int4 & fact17 -> int5: このロック・バンドは沿えるない; int2 & int5 -> int6: 「このロック・バンドは集め易くないけど読み難い」ということは偽である; int6 -> int7: 「「集め易くないし読み難い」ということは成り立たない」物はある;
$facts$ = fact1: このオーロラは転び易い fact2: その意識改革は貢献出来ない fact3: 「「青色申告特別控除であるということはないかもしくは恵まれるということはないかあるいはどちらもである」ということは誤っている」物はあるとすると「このロック・バンドは沿えるない」ということは成り立つ fact4: もしも何らかの物は沿えるないとしたら「それは集め易いということはない一方で読み難い」ということは成り立たない fact5: その宵はマネー情報であるし頭さん宅である fact6: このオーロラが踏み続けないとするとあの受け付け開始は転び易いしそれにそれは介護計画だ fact7: その空洞は介護計画だし加えて大人っぽい fact8: 「このオーロラが転び易いしその上介護計画だ」ということは事実である fact9: このオーロラは当該前であるし咲き揃う fact10: もし仮にその意識改革は貢献出来ないとしたら「青色申告特別控除でないかもしくは恵まれないかもしくは両方ともである」ということは間違いである fact11: 転び易くないものは介護計画でない fact12: もしこの定期借地農が変換でないとしたらあの焦げは死亡記事であるかあるいは踏み続けないかもしくは両方である ; $hypothesis$ = 「このオーロラは介護計画だ」ということは成り立つ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: このオーロラは転び易い
事実2: その意識改革は貢献出来ない
事実3: 「「青色申告特別控除であるということはないかもしくは恵まれるということはないかあるいはどちらもである」ということは誤っている」物はあるとすると「このロック・バンドは沿えるない」ということは成り立つ
事実4: もしも何らかの物は沿えるないとしたら「それは集め易いということはない一方で読み難い」ということは成り立たない
事実5: その宵はマネー情報であるし頭さん宅である
事実6: このオーロラが踏み続けないとするとあの受け付け開始は転び易いしそれにそれは介護計画だ
事実7: その空洞は介護計画だし加えて大人っぽい
事実8: 「このオーロラが転び易いしその上介護計画だ」ということは事実である
事実9: このオーロラは当該前であるし咲き揃う
事実10: もし仮にその意識改革は貢献出来ないとしたら「青色申告特別控除でないかもしくは恵まれないかもしくは両方ともである」ということは間違いである
事実11: 転び易くないものは介護計画でない
事実12: もしこの定期借地農が変換でないとしたらあの焦げは死亡記事であるかあるいは踏み続けないかもしくは両方である

仮説: 「このオーロラは介護計画だ」ということは成り立つ
1. 事実8から、仮説が導かれる

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