「この共有部分は社会的交換であるけれど覚え易くない」ということは嘘だ
fact1: この共有部分は社会的交換だ fact2: もしこの共有部分はベストマッチだとすると「社会的交換だけど覚え易くない」ということは正しくない fact3: 「「ベストマッチだ」ということは正しい」物があるとするとこの共有部分は社会的交換だ fact4: 「社会的交換である」物はある fact5: 仮に「「感染し易い」ということは事実な」ものがあるとすればこの共有部分はベストマッチであるけれど入り易くない fact6: 「ベストマッチである」ものはある fact7: 「この共有部分は本格探偵小説だ一方で保険価額でない」ということは事実だ fact8: もしも「ベストマッチである」ものがあるとすればこの共有部分は社会的交換である一方で覚え易くない fact9: もしも「「始動する」ということは正しい」物があるならこの共有部分はベストマッチである一方で感染し易いということはない
fact6 & fact8 -> hypothesis;
fact6 & fact8 -> hypothesis;
「この共有部分は社会的交換であるけれど覚え易くない」ということは成り立たない
$facts$ = fact1: この共有部分は社会的交換だ fact2: もしこの共有部分はベストマッチだとすると「社会的交換だけど覚え易くない」ということは正しくない fact3: 「「ベストマッチだ」ということは正しい」物があるとするとこの共有部分は社会的交換だ fact4: 「社会的交換である」物はある fact5: 仮に「「感染し易い」ということは事実な」ものがあるとすればこの共有部分はベストマッチであるけれど入り易くない fact6: 「ベストマッチである」ものはある fact7: 「この共有部分は本格探偵小説だ一方で保険価額でない」ということは事実だ fact8: もしも「ベストマッチである」ものがあるとすればこの共有部分は社会的交換である一方で覚え易くない fact9: もしも「「始動する」ということは正しい」物があるならこの共有部分はベストマッチである一方で感染し易いということはない ; $hypothesis$ = 「この共有部分は社会的交換であるけれど覚え易くない」ということは嘘だ ; $proof$ = 
fact6 & fact8 -> hypothesis; __DISPROVED__
事実1: この共有部分は社会的交換だ
事実2: もしこの共有部分はベストマッチだとすると「社会的交換だけど覚え易くない」ということは正しくない
事実3: 「「ベストマッチだ」ということは正しい」物があるとするとこの共有部分は社会的交換だ
事実4: 「社会的交換である」物はある
事実5: 仮に「「感染し易い」ということは事実な」ものがあるとすればこの共有部分はベストマッチであるけれど入り易くない
事実6: 「ベストマッチである」ものはある
事実7: 「この共有部分は本格探偵小説だ一方で保険価額でない」ということは事実だ
事実8: もしも「ベストマッチである」ものがあるとすればこの共有部分は社会的交換である一方で覚え易くない
事実9: もしも「「始動する」ということは正しい」物があるならこの共有部分はベストマッチである一方で感染し易いということはない

仮説: 「この共有部分は社会的交換であるけれど覚え易くない」ということは嘘だ
1. 事実6と事実8から、仮説が否定される

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