あの車体は叱らない
fact1: 「あのＡＲＲは茶色くない一方でそれはまどろっこしい」ということは成り立たない fact2: もし仮にまどろっこしいものがあるならあのＡＲＲは聞き咎めない fact3: もしあのパリ・カルティエ現代美術財団は聞き咎めないとすれば「あの車体は第一志望だ一方で聞き咎めない」ということは成り立たない fact4: もしその江戸城代が鎮魂儀礼でないとしたらあのＡＲＲは茶色いということはないけれどまどろっこしい fact5: 「聞き咎める」物はあるとしたら「その江戸城代は鎮魂儀礼でない」ということは事実である fact6: もし仮に「あの車体は第一志望であるがしかし聞き咎めない」ということは嘘であるとすれば「それは叱らない」ということは正しい
void -> assump1: 以下のように仮定する。「あのパリ・カルティエ現代美術財団は聞き咎める」ということは正しい; assump1 -> int1: 「聞き咎める」ものはある; int1 & fact5 -> int2: その江戸城代は鎮魂儀礼でない; int2 & fact4 -> int3: あのＡＲＲは茶色くない一方でそれはまどろっこしい; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのパリ・カルティエ現代美術財団は聞き咎めない; int5 & fact3 -> int6: 「「あの車体は第一志望であるけれど聞き咎めない」ということは成り立たない」ということは事実だ; int6 & fact6 -> hypothesis;
$facts$ = fact1: 「あのＡＲＲは茶色くない一方でそれはまどろっこしい」ということは成り立たない fact2: もし仮にまどろっこしいものがあるならあのＡＲＲは聞き咎めない fact3: もしあのパリ・カルティエ現代美術財団は聞き咎めないとすれば「あの車体は第一志望だ一方で聞き咎めない」ということは成り立たない fact4: もしその江戸城代が鎮魂儀礼でないとしたらあのＡＲＲは茶色いということはないけれどまどろっこしい fact5: 「聞き咎める」物はあるとしたら「その江戸城代は鎮魂儀礼でない」ということは事実である fact6: もし仮に「あの車体は第一志望であるがしかし聞き咎めない」ということは嘘であるとすれば「それは叱らない」ということは正しい ; $hypothesis$ = あの車体は叱らない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのパリ・カルティエ現代美術財団は聞き咎める」ということは正しい; assump1 -> int1: 「聞き咎める」ものはある; int1 & fact5 -> int2: その江戸城代は鎮魂儀礼でない; int2 & fact4 -> int3: あのＡＲＲは茶色くない一方でそれはまどろっこしい; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのパリ・カルティエ現代美術財団は聞き咎めない; int5 & fact3 -> int6: 「「あの車体は第一志望であるけれど聞き咎めない」ということは成り立たない」ということは事実だ; int6 & fact6 -> hypothesis; __PROVED__
事実1: 「あのＡＲＲは茶色くない一方でそれはまどろっこしい」ということは成り立たない
事実2: もし仮にまどろっこしいものがあるならあのＡＲＲは聞き咎めない
事実3: もしあのパリ・カルティエ現代美術財団は聞き咎めないとすれば「あの車体は第一志望だ一方で聞き咎めない」ということは成り立たない
事実4: もしその江戸城代が鎮魂儀礼でないとしたらあのＡＲＲは茶色いということはないけれどまどろっこしい
事実5: 「聞き咎める」物はあるとしたら「その江戸城代は鎮魂儀礼でない」ということは事実である
事実6: もし仮に「あの車体は第一志望であるがしかし聞き咎めない」ということは嘘であるとすれば「それは叱らない」ということは正しい

仮説: あの車体は叱らない
1. 仮定1: 以下のように仮定する。「あのパリ・カルティエ現代美術財団は聞き咎める」ということは正しい
2. 仮定1から、推論1: "「聞き咎める」ものはある"が導かれる
3. 推論1と事実5から、推論2: "その江戸城代は鎮魂儀礼でない"が導かれる
4. 推論2と事実4から、推論3: "あのＡＲＲは茶色くない一方でそれはまどろっこしい"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのパリ・カルティエ現代美術財団は聞き咎めない"が導かれる
7. 推論5と事実3から、推論6: "「「あの車体は第一志望であるけれど聞き咎めない」ということは成り立たない」ということは事実だ"が導かれる
8. 推論6と事実6から、仮説が導かれる

よって、仮説が証明されました。