その換価は移ろい易いということはないけど一般名である
fact1: そのリワーク性は上奏する fact2: シャンデリアは移ろい易くないけど一般名だ fact3: 「その換価は移ろい易くないけど上奏する」ということは成り立たない fact4: 「そのリワーク性は大人気無くない」ということは真実だ fact5: もし仮にとあるものがシャンデリアであるしそれにそれが上奏するとすればそれはおまるでない fact6: そのリワーク性はシャンデリアだ fact7: もしもそのリワーク性はおまるであるということはないならば「その換価は移ろい易くないが一般名である」ということは成り立たない fact8: あの科学実験は上奏する
fact6 & fact1 -> int1: そのリワーク性がシャンデリアだしそれは上奏する; fact5 -> int2: もしもそのリワーク性はシャンデリアであるし上奏すればそれはおまるでない; int1 & int2 -> int3: そのリワーク性はおまるでない; int3 & fact7 -> hypothesis;
fact6 & fact1 -> int1: ({A}{a} & {B}{a}); fact5 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact7 -> hypothesis;
その換価は移ろい易くないがそれは一般名である
fact9 -> int4: 仮にその換価がシャンデリアならばそれは移ろい易くないし一般名だ;
$facts$ = fact1: そのリワーク性は上奏する fact2: シャンデリアは移ろい易くないけど一般名だ fact3: 「その換価は移ろい易くないけど上奏する」ということは成り立たない fact4: 「そのリワーク性は大人気無くない」ということは真実だ fact5: もし仮にとあるものがシャンデリアであるしそれにそれが上奏するとすればそれはおまるでない fact6: そのリワーク性はシャンデリアだ fact7: もしもそのリワーク性はおまるであるということはないならば「その換価は移ろい易くないが一般名である」ということは成り立たない fact8: あの科学実験は上奏する ; $hypothesis$ = その換価は移ろい易いということはないけど一般名である ; $proof$ = 
fact6 & fact1 -> int1: そのリワーク性がシャンデリアだしそれは上奏する; fact5 -> int2: もしもそのリワーク性はシャンデリアであるし上奏すればそれはおまるでない; int1 & int2 -> int3: そのリワーク性はおまるでない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: そのリワーク性は上奏する
事実2: シャンデリアは移ろい易くないけど一般名だ
事実3: 「その換価は移ろい易くないけど上奏する」ということは成り立たない
事実4: 「そのリワーク性は大人気無くない」ということは真実だ
事実5: もし仮にとあるものがシャンデリアであるしそれにそれが上奏するとすればそれはおまるでない
事実6: そのリワーク性はシャンデリアだ
事実7: もしもそのリワーク性はおまるであるということはないならば「その換価は移ろい易くないが一般名である」ということは成り立たない
事実8: あの科学実験は上奏する

仮説: その換価は移ろい易いということはないけど一般名である
1. 事実6と事実1から、推論1: "そのリワーク性がシャンデリアだしそれは上奏する"が導かれる
2. 事実5から、推論2: "もしもそのリワーク性はシャンデリアであるし上奏すればそれはおまるでない"が導かれる
3. 推論1と推論2から、推論3: "そのリワーク性はおまるでない"が導かれる
4. 推論3と事実7から、仮説が否定される

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