「この平安宮は出塁するし鑑賞し易い」ということは成り立たないならそれは手早くない
fact1: もし「なんらかの物は粋がらない」ということは正しいならば「敵塁でない」ということは正しい fact2: 仮に「あるものが出塁するしその上それは鑑賞し易い」ということは偽なら「手早いということはない」ということは真実だ fact3: 「もしもこの平安宮が手早いしそれが情報漏洩であるとするとこの平安宮は編目構造だということはない」ということは嘘でない fact4: 仮にこの平安宮が鑑賞し易いしそれは出馬すれば「それは情報漏洩でない」ということは事実だ fact5: もし「その輪投げは実現し易くてそれは及び難い」ということは成り立たないとすれば「それは正し」ということは確かだ fact6: 「とあるものは勘助殺しでない」ということは成り立つとしたらそれは攻め立てない fact7: もしその役立たずが鑑賞し易いししかもそれが生き切るとしたらそれは反応し易くない fact8: 「この平均チェック率は鑑賞し易いしそれにインポートする」ということは確かであるとしたらそれは漲らない fact9: もしもこの携帯電話が是でないとすれば前座でない fact10: もしこの平安宮は話し難くないとすればそれはＸ型でない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は粋がらない」ということは正しいならば「敵塁でない」ということは正しい fact2: 仮に「あるものが出塁するしその上それは鑑賞し易い」ということは偽なら「手早いということはない」ということは真実だ fact3: 「もしもこの平安宮が手早いしそれが情報漏洩であるとするとこの平安宮は編目構造だということはない」ということは嘘でない fact4: 仮にこの平安宮が鑑賞し易いしそれは出馬すれば「それは情報漏洩でない」ということは事実だ fact5: もし「その輪投げは実現し易くてそれは及び難い」ということは成り立たないとすれば「それは正し」ということは確かだ fact6: 「とあるものは勘助殺しでない」ということは成り立つとしたらそれは攻め立てない fact7: もしその役立たずが鑑賞し易いししかもそれが生き切るとしたらそれは反応し易くない fact8: 「この平均チェック率は鑑賞し易いしそれにインポートする」ということは確かであるとしたらそれは漲らない fact9: もしもこの携帯電話が是でないとすれば前座でない fact10: もしこの平安宮は話し難くないとすればそれはＸ型でない ; $hypothesis$ = 「この平安宮は出塁するし鑑賞し易い」ということは成り立たないならそれは手早くない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は粋がらない」ということは正しいならば「敵塁でない」ということは正しい
事実2: 仮に「あるものが出塁するしその上それは鑑賞し易い」ということは偽なら「手早いということはない」ということは真実だ
事実3: 「もしもこの平安宮が手早いしそれが情報漏洩であるとするとこの平安宮は編目構造だということはない」ということは嘘でない
事実4: 仮にこの平安宮が鑑賞し易いしそれは出馬すれば「それは情報漏洩でない」ということは事実だ
事実5: もし「その輪投げは実現し易くてそれは及び難い」ということは成り立たないとすれば「それは正し」ということは確かだ
事実6: 「とあるものは勘助殺しでない」ということは成り立つとしたらそれは攻め立てない
事実7: もしその役立たずが鑑賞し易いししかもそれが生き切るとしたらそれは反応し易くない
事実8: 「この平均チェック率は鑑賞し易いしそれにインポートする」ということは確かであるとしたらそれは漲らない
事実9: もしもこの携帯電話が是でないとすれば前座でない
事実10: もしこの平安宮は話し難くないとすればそれはＸ型でない

仮説: 「この平安宮は出塁するし鑑賞し易い」ということは成り立たないならそれは手早くない
1. 事実2から、仮説が導かれる

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