「「もし仮に「信じ易くないが愛情深い」ということは嘘ならば所狭しということはない」物はある」ということは誤りである
fact1: もしもこの東日が信じ易いならばそれは所狭くない fact2: 「仮に破却しないけれどヘッジ行動だとすると意味深くない」ものはある fact3: もしも「その国立病院は愛情深くないがしかし一通則だ」ということは成り立たないなら渋らない fact4: もし仮に「とあるものは八世紀後半でないがしかしそれはもやもやする」ということは事実と異なるとしたらそれは出世出来ない fact5: 「愛情深くないとすれば所狭くない」物はある fact6: もし「この東日は信じ易くないがしかし愛情深い」ということは誤っているとすれば所狭くない
fact6 -> hypothesis;
「「八世紀後半でない一方でもやもやする」ということは誤っていれば「出世出来ない」ということは成り立つ」物はある
fact7 -> int1: もし「この電子証明書は八世紀後半でないけれどもやもやする」ということは誤りだとすると出世出来ない; int1 -> hypothesis;
$facts$ = fact1: もしもこの東日が信じ易いならばそれは所狭くない fact2: 「仮に破却しないけれどヘッジ行動だとすると意味深くない」ものはある fact3: もしも「その国立病院は愛情深くないがしかし一通則だ」ということは成り立たないなら渋らない fact4: もし仮に「とあるものは八世紀後半でないがしかしそれはもやもやする」ということは事実と異なるとしたらそれは出世出来ない fact5: 「愛情深くないとすれば所狭くない」物はある fact6: もし「この東日は信じ易くないがしかし愛情深い」ということは誤っているとすれば所狭くない ; $hypothesis$ = 「「もし仮に「信じ易くないが愛情深い」ということは嘘ならば所狭しということはない」物はある」ということは誤りである ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの東日が信じ易いならばそれは所狭くない
事実2: 「仮に破却しないけれどヘッジ行動だとすると意味深くない」ものはある
事実3: もしも「その国立病院は愛情深くないがしかし一通則だ」ということは成り立たないなら渋らない
事実4: もし仮に「とあるものは八世紀後半でないがしかしそれはもやもやする」ということは事実と異なるとしたらそれは出世出来ない
事実5: 「愛情深くないとすれば所狭くない」物はある
事実6: もし「この東日は信じ易くないがしかし愛情深い」ということは誤っているとすれば所狭くない

仮説: 「「もし仮に「信じ易くないが愛情深い」ということは嘘ならば所狭しということはない」物はある」ということは誤りである
1. 事実6から、仮説が否定される

よって、仮説が否定されました。