「このＩＭＥスタンダードは怒りっぽいがしかしそれは疑り深いということはない」ということは本当でない
fact1: 「賃貸住宅居住者でないけど症候な」ものはある fact2: もしも「あの即日は怒りっぽくない」ということは事実であるならば「このＩＭＥスタンダードは疑り深いしそれに移ろい易い」ということは誤っている fact3: その名前入りは疎ましいということはない fact4: 仮にこのＩＭＥスタンダードは疑り深くないとしたら「あの即日は怒りっぽいけど移ろい易くない」ということは間違いだ fact5: あの即日が分かり切ればこのＩＭＥスタンダードは移ろい易くない fact6: その名前入りが疎ましくらないとすればそれは起債管理セクターであるかあるいは歩み去るか両方ともだ fact7: 何かは賃貸住宅居住者でないとすると怒りっぽいが疑り深くない fact8: もし仮になにかは歩み去るなら営業収益であるけれど分かり切らない fact9: とある物は怒りっぽいということはない fact10: 怒りっぽくないし移ろい易い物はある fact11: あの即日は移ろい易いということはないとすると「このＩＭＥスタンダードは怒りっぽいがしかし疑り深くない」ということは誤っている fact12: 「このＩＭＥスタンダードは怒りっぽくてそれに疑り深い」ということは間違っている fact13: もしも「あの即日は移ろい易くない」ということは成り立つとすれば「このＩＭＥスタンダードは怒りっぽくて疑り深い」ということは事実と異なる fact14: もしも「疑り深くないしそれに移ろい易い」物があればこのＩＭＥスタンダードは怒りっぽくない fact15: 仮にあるものが賃貸住宅居住者であるしさらに症候ならあの即日は移ろい易くない fact16: もし仮にあのウルフ夫妻が営業収益だけどそれは分かり切らないとすると「あの即日は分かり切る」ということは事実だ fact17: 「このＩＭＥスタンダードは移ろい易い一方で疑り深いということはない」ということは成り立つということはない fact18: 「怒りっぽくないがしかし疑り深い」ものはある fact19: なにがしかの物が賃貸住宅居住者でないが症候であるならあの即日は移ろい易くない
fact1 & fact19 -> int1: あの即日は移ろい易いということはない; int1 & fact11 -> hypothesis;
fact1 & fact19 -> int1: ¬{C}{a}; int1 & fact11 -> hypothesis;
このＩＭＥスタンダードは怒りっぽい一方で疑り深くない
fact24 -> int2: もしもこのＩＭＥスタンダードが賃貸住宅居住者でないとすれば怒りっぽいがしかし疑り深くない; fact22 -> int3: もし仮にあのウルフ夫妻が歩み去るなら営業収益だがしかし分かり切らない; fact21 & fact23 -> int4: その名前入りは起債管理セクターであるかあるいは歩み去る;
$facts$ = fact1: 「賃貸住宅居住者でないけど症候な」ものはある fact2: もしも「あの即日は怒りっぽくない」ということは事実であるならば「このＩＭＥスタンダードは疑り深いしそれに移ろい易い」ということは誤っている fact3: その名前入りは疎ましいということはない fact4: 仮にこのＩＭＥスタンダードは疑り深くないとしたら「あの即日は怒りっぽいけど移ろい易くない」ということは間違いだ fact5: あの即日が分かり切ればこのＩＭＥスタンダードは移ろい易くない fact6: その名前入りが疎ましくらないとすればそれは起債管理セクターであるかあるいは歩み去るか両方ともだ fact7: 何かは賃貸住宅居住者でないとすると怒りっぽいが疑り深くない fact8: もし仮になにかは歩み去るなら営業収益であるけれど分かり切らない fact9: とある物は怒りっぽいということはない fact10: 怒りっぽくないし移ろい易い物はある fact11: あの即日は移ろい易いということはないとすると「このＩＭＥスタンダードは怒りっぽいがしかし疑り深くない」ということは誤っている fact12: 「このＩＭＥスタンダードは怒りっぽくてそれに疑り深い」ということは間違っている fact13: もしも「あの即日は移ろい易くない」ということは成り立つとすれば「このＩＭＥスタンダードは怒りっぽくて疑り深い」ということは事実と異なる fact14: もしも「疑り深くないしそれに移ろい易い」物があればこのＩＭＥスタンダードは怒りっぽくない fact15: 仮にあるものが賃貸住宅居住者であるしさらに症候ならあの即日は移ろい易くない fact16: もし仮にあのウルフ夫妻が営業収益だけどそれは分かり切らないとすると「あの即日は分かり切る」ということは事実だ fact17: 「このＩＭＥスタンダードは移ろい易い一方で疑り深いということはない」ということは成り立つということはない fact18: 「怒りっぽくないがしかし疑り深い」ものはある fact19: なにがしかの物が賃貸住宅居住者でないが症候であるならあの即日は移ろい易くない ; $hypothesis$ = 「このＩＭＥスタンダードは怒りっぽいがしかしそれは疑り深いということはない」ということは本当でない ; $proof$ = 
fact1 & fact19 -> int1: あの即日は移ろい易いということはない; int1 & fact11 -> hypothesis; __PROVED__
事実1: 「賃貸住宅居住者でないけど症候な」ものはある
事実2: もしも「あの即日は怒りっぽくない」ということは事実であるならば「このＩＭＥスタンダードは疑り深いしそれに移ろい易い」ということは誤っている
事実3: その名前入りは疎ましいということはない
事実4: 仮にこのＩＭＥスタンダードは疑り深くないとしたら「あの即日は怒りっぽいけど移ろい易くない」ということは間違いだ
事実5: あの即日が分かり切ればこのＩＭＥスタンダードは移ろい易くない
事実6: その名前入りが疎ましくらないとすればそれは起債管理セクターであるかあるいは歩み去るか両方ともだ
事実7: 何かは賃貸住宅居住者でないとすると怒りっぽいが疑り深くない
事実8: もし仮になにかは歩み去るなら営業収益であるけれど分かり切らない
事実9: とある物は怒りっぽいということはない
事実10: 怒りっぽくないし移ろい易い物はある
事実11: あの即日は移ろい易いということはないとすると「このＩＭＥスタンダードは怒りっぽいがしかし疑り深くない」ということは誤っている
事実12: 「このＩＭＥスタンダードは怒りっぽくてそれに疑り深い」ということは間違っている
事実13: もしも「あの即日は移ろい易くない」ということは成り立つとすれば「このＩＭＥスタンダードは怒りっぽくて疑り深い」ということは事実と異なる
事実14: もしも「疑り深くないしそれに移ろい易い」物があればこのＩＭＥスタンダードは怒りっぽくない
事実15: 仮にあるものが賃貸住宅居住者であるしさらに症候ならあの即日は移ろい易くない
事実16: もし仮にあのウルフ夫妻が営業収益だけどそれは分かり切らないとすると「あの即日は分かり切る」ということは事実だ
事実17: 「このＩＭＥスタンダードは移ろい易い一方で疑り深いということはない」ということは成り立つということはない
事実18: 「怒りっぽくないがしかし疑り深い」ものはある
事実19: なにがしかの物が賃貸住宅居住者でないが症候であるならあの即日は移ろい易くない

仮説: 「このＩＭＥスタンダードは怒りっぽいがしかしそれは疑り深いということはない」ということは本当でない
1. 事実1と事実19から、推論1: "あの即日は移ろい易いということはない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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