「「もしもテキストブロックであるとすれば忠実忠実しいが居住サービスでない」物はある」ということは真実でない
fact1: もしもこの日曜はテキストブロックであるとするとそれは忠実忠実しい fact2: 「テキストブロックであるとしたら忠実忠実しいし更に居住サービスである」物はある fact3: 「仮にテキストブロックであるとすると居住サービスでない」ものはある fact4: 「絞り止めすれば求婚するしさらに理論上でない」物はある fact5: 「テキストブロックであるとしたら忠実忠実しい」ものはある fact6: もしもこの日曜がテキストブロックなら忠実忠実しいし加えてそれは居住サービスでない fact7: 仮に「この日曜はテキストブロックである」ということは成り立つとすればそれは忠実忠実しいしおまけに居住サービスである fact8: 「縮小表示するとしたらローテーションする一方で怪物達でない」ものはある fact9: なにがしかのものが強大化するとすると甲高いしそれは忠実忠実しかない
fact6 -> hypothesis;
fact6 -> hypothesis;
もしこの入力フィールドが強大化するとすれば甲高いし忠実忠実しかない
fact10 -> hypothesis;
$facts$ = fact1: もしもこの日曜はテキストブロックであるとするとそれは忠実忠実しい fact2: 「テキストブロックであるとしたら忠実忠実しいし更に居住サービスである」物はある fact3: 「仮にテキストブロックであるとすると居住サービスでない」ものはある fact4: 「絞り止めすれば求婚するしさらに理論上でない」物はある fact5: 「テキストブロックであるとしたら忠実忠実しい」ものはある fact6: もしもこの日曜がテキストブロックなら忠実忠実しいし加えてそれは居住サービスでない fact7: 仮に「この日曜はテキストブロックである」ということは成り立つとすればそれは忠実忠実しいしおまけに居住サービスである fact8: 「縮小表示するとしたらローテーションする一方で怪物達でない」ものはある fact9: なにがしかのものが強大化するとすると甲高いしそれは忠実忠実しかない ; $hypothesis$ = 「「もしもテキストブロックであるとすれば忠実忠実しいが居住サービスでない」物はある」ということは真実でない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もしもこの日曜はテキストブロックであるとするとそれは忠実忠実しい
事実2: 「テキストブロックであるとしたら忠実忠実しいし更に居住サービスである」物はある
事実3: 「仮にテキストブロックであるとすると居住サービスでない」ものはある
事実4: 「絞り止めすれば求婚するしさらに理論上でない」物はある
事実5: 「テキストブロックであるとしたら忠実忠実しい」ものはある
事実6: もしもこの日曜がテキストブロックなら忠実忠実しいし加えてそれは居住サービスでない
事実7: 仮に「この日曜はテキストブロックである」ということは成り立つとすればそれは忠実忠実しいしおまけに居住サービスである
事実8: 「縮小表示するとしたらローテーションする一方で怪物達でない」ものはある
事実9: なにがしかのものが強大化するとすると甲高いしそれは忠実忠実しかない

仮説: 「「もしもテキストブロックであるとすれば忠実忠実しいが居住サービスでない」物はある」ということは真実でない
1. 事実6から、仮説が否定される

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