「あの鬼女は居候する」ということは偽でない
fact1: 「何かは居候するけどそれはネイティブらしくない」ということは成り立たないとしたら居候しない fact2: 「あの荒城は傾き易い」ということは真実だ fact3: あの鬼女は入出力である fact4: 仮になにがしかの物はサポーターだとすれば「居候するしその上それはネイティブらしくない」ということは偽である fact5: もし仮にあの鬼女は二高生でないけど傾き易いとするとそれは居候する fact6: あの鬼女はいちゃつくということはないしそれは手酷くない fact7: 仮にあの切り石が創意工夫すればそれは六全協でないかそれは待ち遠しい fact8: もし仮にあの鬼女が蛇レッドでないしそれにそれが注ぎ掛けないとしたら収率だ fact9: あの鬼女は驚愕する fact10: もし仮にあの鬼女は二高生だが傾き易くないとすればそれは居候する fact11: もしあの切り石が攻めないならあの鬼女はネイティブらしいしそれは新規作成する fact12: もしあの鬼女は二高生でなくて傾き易いということはないとすれば居候する fact13: このＢＲは二高生でないしさらに二号館でない fact14: そのグリセリンは傾き易い fact15: もし何らかの物が六全協でないかまたはそれは待ち遠しいか両方だとすれば攻めない fact16: もし何かは新規作成するとするとそれはサポーターだ fact17: もしあの鉄柵が攻めればそれは新規作成する fact18: あの鬼女は二高生でなくて加えて傾き易くない fact19: ネイティブらしいものは居候しない一方でサポーターだ fact20: 仮にあの鬼女は傾き易くなくてしかも地方史誌類でないとするとむさい
fact12 & fact18 -> hypothesis;
fact12 & fact18 -> hypothesis;
あの鬼女は居候しない
fact22 -> int1: あの鬼女がネイティブらしいとするとそれは居候しないしサポーターだ; fact21 -> int2: もしあの切り石が六全協でないかあるいは待ち遠しいかどちらもであるならそれは攻めない;
$facts$ = fact1: 「何かは居候するけどそれはネイティブらしくない」ということは成り立たないとしたら居候しない fact2: 「あの荒城は傾き易い」ということは真実だ fact3: あの鬼女は入出力である fact4: 仮になにがしかの物はサポーターだとすれば「居候するしその上それはネイティブらしくない」ということは偽である fact5: もし仮にあの鬼女は二高生でないけど傾き易いとするとそれは居候する fact6: あの鬼女はいちゃつくということはないしそれは手酷くない fact7: 仮にあの切り石が創意工夫すればそれは六全協でないかそれは待ち遠しい fact8: もし仮にあの鬼女が蛇レッドでないしそれにそれが注ぎ掛けないとしたら収率だ fact9: あの鬼女は驚愕する fact10: もし仮にあの鬼女は二高生だが傾き易くないとすればそれは居候する fact11: もしあの切り石が攻めないならあの鬼女はネイティブらしいしそれは新規作成する fact12: もしあの鬼女は二高生でなくて傾き易いということはないとすれば居候する fact13: このＢＲは二高生でないしさらに二号館でない fact14: そのグリセリンは傾き易い fact15: もし何らかの物が六全協でないかまたはそれは待ち遠しいか両方だとすれば攻めない fact16: もし何かは新規作成するとするとそれはサポーターだ fact17: もしあの鉄柵が攻めればそれは新規作成する fact18: あの鬼女は二高生でなくて加えて傾き易くない fact19: ネイティブらしいものは居候しない一方でサポーターだ fact20: 仮にあの鬼女は傾き易くなくてしかも地方史誌類でないとするとむさい ; $hypothesis$ = 「あの鬼女は居候する」ということは偽でない ; $proof$ = 
fact12 & fact18 -> hypothesis; __PROVED__
事実1: 「何かは居候するけどそれはネイティブらしくない」ということは成り立たないとしたら居候しない
事実2: 「あの荒城は傾き易い」ということは真実だ
事実3: あの鬼女は入出力である
事実4: 仮になにがしかの物はサポーターだとすれば「居候するしその上それはネイティブらしくない」ということは偽である
事実5: もし仮にあの鬼女は二高生でないけど傾き易いとするとそれは居候する
事実6: あの鬼女はいちゃつくということはないしそれは手酷くない
事実7: 仮にあの切り石が創意工夫すればそれは六全協でないかそれは待ち遠しい
事実8: もし仮にあの鬼女が蛇レッドでないしそれにそれが注ぎ掛けないとしたら収率だ
事実9: あの鬼女は驚愕する
事実10: もし仮にあの鬼女は二高生だが傾き易くないとすればそれは居候する
事実11: もしあの切り石が攻めないならあの鬼女はネイティブらしいしそれは新規作成する
事実12: もしあの鬼女は二高生でなくて傾き易いということはないとすれば居候する
事実13: このＢＲは二高生でないしさらに二号館でない
事実14: そのグリセリンは傾き易い
事実15: もし何らかの物が六全協でないかまたはそれは待ち遠しいか両方だとすれば攻めない
事実16: もし何かは新規作成するとするとそれはサポーターだ
事実17: もしあの鉄柵が攻めればそれは新規作成する
事実18: あの鬼女は二高生でなくて加えて傾き易くない
事実19: ネイティブらしいものは居候しない一方でサポーターだ
事実20: 仮にあの鬼女は傾き易くなくてしかも地方史誌類でないとするとむさい

仮説: 「あの鬼女は居候する」ということは偽でない
1. 事実12と事実18から、仮説が導かれる

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