「「綴り続けないしおまけに冬らしい」ということは誤っている」物はある
fact1: それは綴り続けないし冬らしいという物はない fact2: 「「静電でしかも罪深い」ということは成り立たない」ものはある fact3: 仮にその第四戦は静電であるとすれば「それは罪深いしさらにそれはやんごとなくない」ということは成り立たない fact4: 「「ベーダでないがしかし汗臭い」ということは真実だということはない」ものはある fact5: もしもなんらかのものがやんごとないならばそれは薄汚い fact6: 「「見過ごし難くないけれど企業内部だ」ということは偽な」ものはある fact7: もし仮にとあるものは抜け易くないなら「それは拍動するということはないけど受だ」ということは成り立たない fact8: やんごとないものは薄汚いかあるいは熱的効果でない fact9: それは惜しくて御葬式だというものはない fact10: 「そのフィトールは綴り続けるし加えて冬らしい」ということは誤っている fact11: 「そのフィトールは口汚くないけれど募金活動である」ということは成り立たない fact12: 「「作動しないけれど逝去する」ということは嘘な」ものはある fact13: もし仮になんらかのものは抜け易いということはないなら「それは外国人女性でないけど呼び出す」ということは成り立たない fact14: 「「綴り続けるしおまけに冬らしい」ということは成り立つということはない」ものはある fact15: 「そのフィトールはＭＲＳＡ肺炎でないけれど呼び返す」ということは間違いである fact16: 薄汚いものは抜け易くないし更に熱的効果でない fact17: 「その第四戦は罪深いけれどやんごとなくない」ということは誤りだとしたらそれはやんごとない fact18: 「そのフィトールは冬らしくないがそれは聞き流す」ということは事実と異なる fact19: それは綴り続けるしおまけに冬らしいというものはない
fact1 -> int1: 「そのフィトールは綴り続けないがしかしそれは冬らしい」ということは間違っている; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「「拍動するということはないし加えて受である」ということは成り立たない」ものはある
fact21 -> int2: もし仮にその第四戦は抜け易くないならば「拍動しないけれど受だ」ということは成り立たない; fact22 -> int3: もしあのアップロードがやんごとないとするとそれは薄汚いかそれは熱的効果であるということはないかあるいは両方ともだ;
$facts$ = fact1: それは綴り続けないし冬らしいという物はない fact2: 「「静電でしかも罪深い」ということは成り立たない」ものはある fact3: 仮にその第四戦は静電であるとすれば「それは罪深いしさらにそれはやんごとなくない」ということは成り立たない fact4: 「「ベーダでないがしかし汗臭い」ということは真実だということはない」ものはある fact5: もしもなんらかのものがやんごとないならばそれは薄汚い fact6: 「「見過ごし難くないけれど企業内部だ」ということは偽な」ものはある fact7: もし仮にとあるものは抜け易くないなら「それは拍動するということはないけど受だ」ということは成り立たない fact8: やんごとないものは薄汚いかあるいは熱的効果でない fact9: それは惜しくて御葬式だというものはない fact10: 「そのフィトールは綴り続けるし加えて冬らしい」ということは誤っている fact11: 「そのフィトールは口汚くないけれど募金活動である」ということは成り立たない fact12: 「「作動しないけれど逝去する」ということは嘘な」ものはある fact13: もし仮になんらかのものは抜け易いということはないなら「それは外国人女性でないけど呼び出す」ということは成り立たない fact14: 「「綴り続けるしおまけに冬らしい」ということは成り立つということはない」ものはある fact15: 「そのフィトールはＭＲＳＡ肺炎でないけれど呼び返す」ということは間違いである fact16: 薄汚いものは抜け易くないし更に熱的効果でない fact17: 「その第四戦は罪深いけれどやんごとなくない」ということは誤りだとしたらそれはやんごとない fact18: 「そのフィトールは冬らしくないがそれは聞き流す」ということは事実と異なる fact19: それは綴り続けるしおまけに冬らしいというものはない ; $hypothesis$ = 「「綴り続けないしおまけに冬らしい」ということは誤っている」物はある ; $proof$ = 
fact1 -> int1: 「そのフィトールは綴り続けないがしかしそれは冬らしい」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: それは綴り続けないし冬らしいという物はない
事実2: 「「静電でしかも罪深い」ということは成り立たない」ものはある
事実3: 仮にその第四戦は静電であるとすれば「それは罪深いしさらにそれはやんごとなくない」ということは成り立たない
事実4: 「「ベーダでないがしかし汗臭い」ということは真実だということはない」ものはある
事実5: もしもなんらかのものがやんごとないならばそれは薄汚い
事実6: 「「見過ごし難くないけれど企業内部だ」ということは偽な」ものはある
事実7: もし仮にとあるものは抜け易くないなら「それは拍動するということはないけど受だ」ということは成り立たない
事実8: やんごとないものは薄汚いかあるいは熱的効果でない
事実9: それは惜しくて御葬式だというものはない
事実10: 「そのフィトールは綴り続けるし加えて冬らしい」ということは誤っている
事実11: 「そのフィトールは口汚くないけれど募金活動である」ということは成り立たない
事実12: 「「作動しないけれど逝去する」ということは嘘な」ものはある
事実13: もし仮になんらかのものは抜け易いということはないなら「それは外国人女性でないけど呼び出す」ということは成り立たない
事実14: 「「綴り続けるしおまけに冬らしい」ということは成り立つということはない」ものはある
事実15: 「そのフィトールはＭＲＳＡ肺炎でないけれど呼び返す」ということは間違いである
事実16: 薄汚いものは抜け易くないし更に熱的効果でない
事実17: 「その第四戦は罪深いけれどやんごとなくない」ということは誤りだとしたらそれはやんごとない
事実18: 「そのフィトールは冬らしくないがそれは聞き流す」ということは事実と異なる
事実19: それは綴り続けるしおまけに冬らしいというものはない

仮説: 「「綴り続けないしおまけに冬らしい」ということは誤っている」物はある
1. 事実1から、推論1: "「そのフィトールは綴り続けないがしかしそれは冬らしい」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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