その総員配置は尋ね歩く
fact1: 「あの可菜絵はつるつるする」ということは成り立つ fact2: 「あの中国東北はつるつるする」ということは成り立つ fact3: もし仮にあの中国東北が崇めないとしたらその総員配置は尋ね歩かない fact4: あの中国東北は尋ね歩かない fact5: 仮にとあるものはチョイスするかそれはつるつるするかあるいはどちらもだとすれば崇めない
fact2 -> int1: あの中国東北はチョイスするかまたはつるつるする; fact5 -> int2: もしもあの中国東北はチョイスするかまたはそれはつるつるするかどちらもだとすればそれは崇めない; int1 & int2 -> int3: あの中国東北は崇めるということはない; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「あの可菜絵はつるつるする」ということは成り立つ fact2: 「あの中国東北はつるつるする」ということは成り立つ fact3: もし仮にあの中国東北が崇めないとしたらその総員配置は尋ね歩かない fact4: あの中国東北は尋ね歩かない fact5: 仮にとあるものはチョイスするかそれはつるつるするかあるいはどちらもだとすれば崇めない ; $hypothesis$ = その総員配置は尋ね歩く ; $proof$ = 
fact2 -> int1: あの中国東北はチョイスするかまたはつるつるする; fact5 -> int2: もしもあの中国東北はチョイスするかまたはそれはつるつるするかどちらもだとすればそれは崇めない; int1 & int2 -> int3: あの中国東北は崇めるということはない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの可菜絵はつるつるする」ということは成り立つ
事実2: 「あの中国東北はつるつるする」ということは成り立つ
事実3: もし仮にあの中国東北が崇めないとしたらその総員配置は尋ね歩かない
事実4: あの中国東北は尋ね歩かない
事実5: 仮にとあるものはチョイスするかそれはつるつるするかあるいはどちらもだとすれば崇めない

仮説: その総員配置は尋ね歩く
1. 事実2から、推論1: "あの中国東北はチョイスするかまたはつるつるする"が導かれる
2. 事実5から、推論2: "もしもあの中国東北はチョイスするかまたはそれはつるつるするかどちらもだとすればそれは崇めない"が導かれる
3. 推論1と推論2から、推論3: "あの中国東北は崇めるということはない"が導かれる
4. 推論3と事実3から、仮説が否定される

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