「もし仮にこの兄君がすばしこくないならばあのリストラは減価償却しないけれどそれは戻し税である」ということは事実でない
fact1: 「この三重県内はすばしこい」ということは事実である fact2: あのリストラは減価償却するしおまけに戻し税だ fact3: 仮にあのリストラが減価償却するということはないとするとこの三重県内は戻し税でないけれどそれはすばしこい fact4: この兄君がすばしこくないならあのリストラは戻し税だ fact5: 仮にこの三重県内が戻し税でないとしたらあのリストラは減価償却するし戻し税である fact6: もし仮にこの兄君が減価償却しないならこの三重県内は戻し税でないがしかしすばしこい fact7: あのリストラは戻し税である fact8: この兄君がすばしこくないとしたらあのリストラは減価償却するし戻し税である fact9: 仮に「この三重県内は戻し税でない」ということは成り立つとしたらあのリストラは減価償却しないけどそれは戻し税である fact10: もしあのリストラがすばしこくないとすればこの兄君は減価償却しない一方でそれはすばしこい fact11: この三重県内は戻し税であるとしたら「この兄君はすばしこい」ということは成り立つ fact12: この三重県内が戻し税でないならあのリストラは戻し税だ
void -> assump2: 以下のように仮定する。この三重県内は戻し税だ; fact11 & assump2 -> int1: この兄君はすばしこい; void -> assump1: 以下のように仮定する。この兄君はすばしこいということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この三重県内は戻し税でない; int3 & fact9 -> int4: あのリストラは減価償却しない一方でそれは戻し税である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「この三重県内はすばしこい」ということは事実である fact2: あのリストラは減価償却するしおまけに戻し税だ fact3: 仮にあのリストラが減価償却するということはないとするとこの三重県内は戻し税でないけれどそれはすばしこい fact4: この兄君がすばしこくないならあのリストラは戻し税だ fact5: 仮にこの三重県内が戻し税でないとしたらあのリストラは減価償却するし戻し税である fact6: もし仮にこの兄君が減価償却しないならこの三重県内は戻し税でないがしかしすばしこい fact7: あのリストラは戻し税である fact8: この兄君がすばしこくないとしたらあのリストラは減価償却するし戻し税である fact9: 仮に「この三重県内は戻し税でない」ということは成り立つとしたらあのリストラは減価償却しないけどそれは戻し税である fact10: もしあのリストラがすばしこくないとすればこの兄君は減価償却しない一方でそれはすばしこい fact11: この三重県内は戻し税であるとしたら「この兄君はすばしこい」ということは成り立つ fact12: この三重県内が戻し税でないならあのリストラは戻し税だ ; $hypothesis$ = 「もし仮にこの兄君がすばしこくないならばあのリストラは減価償却しないけれどそれは戻し税である」ということは事実でない ; $proof$ = 
void -> assump2: 以下のように仮定する。この三重県内は戻し税だ; fact11 & assump2 -> int1: この兄君はすばしこい; void -> assump1: 以下のように仮定する。この兄君はすばしこいということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この三重県内は戻し税でない; int3 & fact9 -> int4: あのリストラは減価償却しない一方でそれは戻し税である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「この三重県内はすばしこい」ということは事実である
事実2: あのリストラは減価償却するしおまけに戻し税だ
事実3: 仮にあのリストラが減価償却するということはないとするとこの三重県内は戻し税でないけれどそれはすばしこい
事実4: この兄君がすばしこくないならあのリストラは戻し税だ
事実5: 仮にこの三重県内が戻し税でないとしたらあのリストラは減価償却するし戻し税である
事実6: もし仮にこの兄君が減価償却しないならこの三重県内は戻し税でないがしかしすばしこい
事実7: あのリストラは戻し税である
事実8: この兄君がすばしこくないとしたらあのリストラは減価償却するし戻し税である
事実9: 仮に「この三重県内は戻し税でない」ということは成り立つとしたらあのリストラは減価償却しないけどそれは戻し税である
事実10: もしあのリストラがすばしこくないとすればこの兄君は減価償却しない一方でそれはすばしこい
事実11: この三重県内は戻し税であるとしたら「この兄君はすばしこい」ということは成り立つ
事実12: この三重県内が戻し税でないならあのリストラは戻し税だ

仮説: 「もし仮にこの兄君がすばしこくないならばあのリストラは減価償却しないけれどそれは戻し税である」ということは事実でない
1. 仮定2: 以下のように仮定する。この三重県内は戻し税だ
2. 事実11と仮定2から、推論1: "この兄君はすばしこい"が導かれる
3. 仮定1: 以下のように仮定する。この兄君はすばしこいということはない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この三重県内は戻し税でない"が導かれる
6. 推論3と事実9から、推論4: "あのリストラは減価償却しない一方でそれは戻し税である"が導かれる
7. [仮定1]と推論4から、仮説が否定される

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